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

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NIPS 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NIPS 2024
Proving Theorems Recursively NIPS 2024
Conversational Modeling for Constraint Satisfaction AAAI 2024
DiscoveryWorld: A Virtual Environment for Developing and Evaluating Automated Scientific Discovery Agents NIPS 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
The Logic of Doxastic Strategies AAAI 2024
Triad: A Framework Leveraging a Multi-Role LLM-based Agent to Solve Knowledge Base Question Answering EMNLP 2024
Time Matters: An End-to-End Solution for Temporal Claim Verification EMNLP 2024
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024
E-GPS: Explainable Geometry Problem Solving via Top-Down Solver and Bottom-Up Generator CVPR 2024
Benchmarking Automated Theorem Proving with Large Language Models EMNLP 2024
Primal Grammars Driven Automated Induction IJCAI 2024
Integrated Systems for Computational Scientific Discovery AAAI 2024
Stable Model Semantics for Description Logic Terminologies AAAI 2024
CHIRON: Rich Character Representations in Long-Form Narratives EMNLP 2024
Exact ASP Counting with Compact Encodings AAAI 2024
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024
LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models EMNLP 2024
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis AAAI 2024
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024
Proving Olympiad Algebraic Inequalities without Human Demonstrations NIPS 2024
Can Language Models Learn Embeddings of Propositional Logic Assertions? COLING 2024