conftrace_

automated reasoning

127 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (19) formal verification (17) knowledge representation (16) theorem proving (15) answer set programming (10) logic programming (8) program synthesis (8) reinforcement learning (8) knowledge graph (7) automated theorem proving (7)

Papers

SynDARin: Synthesising Datasets for Automated Reasoning in Low-Resource Languages COLING 2025 Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024 Benchmarking Automated Theorem Proving with Large Language Models EMNLP 2024 Can Language Models Learn Embeddings of Propositional Logic Assertions? COLING 2024 CHIRON: Rich Character Representations in Long-Form Narratives EMNLP 2024 Conversational Modeling for Constraint Satisfaction AAAI 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 DiscoveryWorld: A Virtual Environment for Developing and Evaluating Automated Scientific Discovery Agents NeurIPS 2024 E-GPS: Explainable Geometry Problem Solving via Top-Down Solver and Bottom-Up Generator CVPR 2024 Exact ASP Counting with Compact Encodings AAAI 2024 FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NeurIPS 2024 Integrated Systems for Computational Scientific Discovery AAAI 2024 Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024 Lemur: Integrating Large Language Models in Automated Program Verification ICLR 2024 LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models EMNLP 2024 Primal Grammars Driven Automated Induction IJCAI 2024 Proving Olympiad Algebraic Inequalities without Human Demonstrations NeurIPS 2024 Proving Theorems Recursively NeurIPS 2024 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NeurIPS 2024 Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis AAAI 2024 Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024 Stable Model Semantics for Description Logic Terminologies AAAI 2024 Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024