deductive reasoning

3 papers

• Are Language Models Efficient Reasoners? A Perspective from Logic Programming
• IneqSearch: Hybrid Reasoning for Olympiad Inequality Proofs
• Mellow: a small audio language model for reasoning