conftrace_

automated reasoning

122 papers

Explore in graph

Co-occurring keywords

large language model (13587) knowledge representation (301) formal verification (284) theorem proving (63) answer set programming (97) logic programming (50) program synthesis (233) reinforcement learning (4352) knowledge graph (1837) automated theorem proving (39)

Papers

LLM-Guided Quantified SMT Solving over Uninterpreted Functions AAAI 2026
Cubing for Tuning AAAI 2026
An Epistemic Perspective on Agent Awareness AAAI 2026
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026
OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning AAAI 2026
Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning COLING 2025
Self-Harmonized Chain of Thought NAACL 2025
SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas EMNLP 2025
LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025
Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025
LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning ACL 2025
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025
Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving IJCAI 2025
SynDARin: Synthesising Datasets for Automated Reasoning in Low-Resource Languages COLING 2025
Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection IJCNLP 2025
Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025
Automated, Interpretable, and Scalable Scientific Machine Learning AAAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025
Let’s Be Self-generated via Step by Step: A Curriculum Learning Approach to Automated Reasoning with Large Language Models ACL 2025
Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025
LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025