automated reasoning

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 Cubing for Tuning AAAI 2026 LLM-Guided Quantified SMT Solving over Uninterpreted Functions AAAI 2026 OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning AAAI 2026 Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection IJCNLP 2025 Automated, Interpretable, and Scalable Scientific Machine Learning AAAI 2025 Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025 Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025 Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025 Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025 Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning COLING 2025 LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning ACL 2025 Let’s Be Self-generated via Step by Step: A Curriculum Learning Approach to Automated Reasoning with Large Language Models ACL 2025 LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025 LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025 Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025 SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas EMNLP 2025 Self-Harmonized Chain of Thought NAACL 2025 ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning ICML 2025 Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving IJCAI 2025 Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits ICML 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025 Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025