Artificial Intelligence/Large Language Models
Proof of Thought: Neurosymbolic Program Synthesis for Robust AI Reasoning
A novel framework that bridges LLM-generated ideas with formal logic verification to enhance reliability and transparency of AI reasoning.