conftrace_

Artificial Intelligence › Core AI ›

Automated Reasoning

28 papers

Papers per year

4

1

1

2

3

17

Papers

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ACL 2026

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization ACL 2026

Improving Autoformalization Using Direct Dependency Retrieval ACL 2026

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions ACL 2026

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean ACL 2026

SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization ACL 2026

Extending First-Order Logic for Factual Reasoning over Knowledge Graphs ACL 2026

CHAIRO: Contextual Hierarchical Analogical Induction and Reasoning Optimization for LLMs ACL 2026

Uncertainty-Aware Test-Time Search for Optimization Problem Solving ACL 2026

From Trajectories to Graphs: Contract-Checked Editing for Verifier-Guided LLM Reasoning ACL 2026

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving ACL 2026

PhyVer: Physics-Grounded Material Claim Verification with Multi-Fidelity Physical Evidence ACL 2026

Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis ACL 2026

Representing Lean Proofs as Trajectories in Latent Space ACL 2026

Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal Adjudication ACL 2026

TEN: Table Explicitization, Neurosymbolically ACL 2026

Benchmarking Testing in Automated Theorem Proving ACL 2026

Proving Olympiad Algebraic Inequalities without Human Demonstrations NIPS 2024

Conversational Modeling for Constraint Satisfaction AAAI 2024

BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024

Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023

THiFLY Research at SemEval-2023 Task 7: A Multi-granularity System for CTR-based Textual Entailment and Evidence Retrieval SEMEVAL 2023

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022

Democratizing Constraint Satisfaction Problems through Machine Learning AAAI 2021

Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference COLING 2020