Extending ChatGPT's deductive and logical reasoning capabilities

[EricGT]

@gmkung

Are there others that are working on or looking for such a use case?

This might be of interest to you.

DeepLLM, a tool that automates focusing GPT-4's reasoning

DeepLLM is now out on github at GitHub - ptarau/recursors: Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles . You can play with it at https://deepllm.streamlit.app/ and steer an LLM to explore a topic in depth, quickly, truthfully and hallucination free. I have also made a quick Youtube intro to DeepLLM, showing how it works, see DeepLLM - YouTube. For the academically inclined, there’s a draft paper about it at: [2306.14077] Full Automation of Goal-…

Sometimes you might find a related paper here

https://arxiv.org/list/cs.SC/recent