conftrace_

neural theorem proving

9 papers

Explore in graph

Also known as

NTP

Co-occurring keywords

automated theorem proving (39) automated reasoning (122) large language model (13587) lean formalization (2) formal mathematics (7) proof search (13) first-order logic (171) formal verification (284) neuro-symbolic ai (25) logic rule (28)

Papers

Towards a Common Framework for Autoformalization AAAI 2026
RLMEval: Evaluating Research-Level Neural Theorem Proving EMNLP 2025
LeanReasoner: Boosting Complex Logical Reasoning with Lean NAACL 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NIPS 2024
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NIPS 2024
Soft-Unification in Deep Probabilistic Logic NIPS 2023
HyperTree Proof Search for Neural Theorem Proving NIPS 2022
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021
End-to-end Differentiable Proving NIPS 2017