Program-Proof-of-Thoughts (P2oT) is an agentic reasoning method that decomposes complex reasoning processes into a series of propositions organized in linear or tree structures, utilizing programming languages for program proofs, such as Dafny or Lean, to model and verify these propositions.

Authors

• Person: Not available Organization: arXiv
  The Synergy of Symbolic and Connectionist AI in LLM ...

Sources

• The Synergy of Symbolic and Connectionist AI in LLM ... arxiv.org arXiv via serper

Referenced by nodes (1)

• proposition concept