We have two paths in progress. Eric is decomposing assertions into a formal logi

We have two paths in progress. Eric is decomposing assertions into a formal logic graph, and then reconstituting it with an LLM. I’m trying to train an LLM from the bottom up to practice dependency tracing. I suspect both will work and hopefully each will compensate for any weakness in the other. Myself I feel that the AIs respond to socratic training more so than rules. If only becaues they cannot follow causal chaining without careful regulation of their processing. But we shall see.

Reply addressees: @WalterIII @farajalrashidi