conftrace_

neural theorem prover

6 papers

Explore in graph

Also known as

NTP

Co-occurring keywords · papers mentioning both

proof synthesis (2) differentiable reasoning (1) proof assistant (1) differentiable proving (1) rule selection (1) llms (1) wn18rr (1) fine-grained structure analysis (1) isabelle proof assistant (1) recursive proving module (1)

Papers

Improving Soft Unification with Knowledge Graph Embedding Methods ICML 2025 ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis ICML 2025 Autoformalization with Large Language Models NeurIPS 2022 INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving ICLR 2021 Differentiable Reasoning on Large Knowledge Bases and Natural Language AAAI 2020 Learning Reasoning Strategies in End-to-End Differentiable Proving ICML 2020