I'd say it struggles with pure logic. Is there any work towards using ChatGPT to generate first order logic from a prompt, solve it using an existing solver, a

I'd say it struggles with pure logic. Is there any work towards using ChatGPT to generate first order logic from a prompt, solve it using an existing solver, and put it back to let it write the meaning of it ? I think it could be interesting, as it would make some prompts work better, and only use got for actual language to language tasks but leave reasoning to another software.