← Keywords

theorem proving

61 papers

Explore in graph

Also known as

COQ

Co-occurring keywords

large language model (12755) formal verification (277) mathematical reasoning (355) automated reasoning (122) logical reasoning (298) first-order logic (168) proof generation (18) semantic parsing (955) language model (4573) automated theorem proving (34)

Papers

A Semantic Search Engine for Mathlib4 EMNLP 2024
Benchmarking Automated Theorem Proving with Large Language Models EMNLP 2024
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024
Primal Grammars Driven Automated Induction IJCAI 2024
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024
Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars EMNLP 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models NAACL 2024
TheoremQA: A Theorem-driven Question Answering Dataset EMNLP 2023
Formally Verified SAT-Based AI Planning AAAI 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers EMNLP 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models NIPS 2023
Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts ACL 2023
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NIPS 2023
A Survey of Deep Learning for Mathematical Reasoning ACL 2023
Proving Theorems using Incremental Learning and Hindsight Experience Replay ICML 2022
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022
NaturalProver: Grounded Mathematical Proof Generation with Language Models NIPS 2022
Autoformalization with Large Language Models NIPS 2022
Formal Semantics and Formally Verified Validation for Temporal Planning AAAI 2022
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser EMNLP 2022
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
PRover: Proof Generation for Interpretable Reasoning over Rules EMNLP 2020
Measuring Systematic Generalization in Neural Proof Generation with Transformers NIPS 2020
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
Premise Selection in Natural Language Mathematical Texts ACL 2020