Logical Reasoning Comparison Hub
3 papers - avg viability 7.0
Top Papers
- Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning(7.0)
Draft-and-Prune enhances auto-formalization for logical reasoning by improving execution reliability through diverse program generation and verification.
- Making Implicit Premises Explicit in Logical Understanding of Enthymemes(7.0)
A pipeline that uses LLMs to translate enthymemes into logical formulas and a neuro-symbolic reasoner to determine entailment, enabling logical understanding of implicit arguments.
- MATRIX AS PLAN: Structured Logical Reasoning with Feedback-Driven Replanning(7.0)
MatrixCoT enhances LLMs' logical reasoning through structured matrix planning and feedback-driven replanning.