[LelouBil]

Has anyone tried to make ChatGPT output first order logic statements about it's input problem, then make implications using a solver, then feed the solution back to ChatGPT for usage ?

Maybe this could solve the reasoning part.

ChatGPT should perform well in translating prompts to statement and vice versa, it's just text to text.

[dinkumthinkum]

People have asked it to solve LeetCode problems and solves then. Those people also suggest a minor modification to the problem that a novice programmer could do and it fails.

[scrollaway]

Precisely. This is stuff I’m actively working on. Feel free to reach out if you are curious.