conftrace_

interactive theorem proving

5 papers

Explore in graph

Also known as

ITP

Co-occurring keywords · papers mentioning both

formal verification (3) proof search (2) formula embedding (1) benchmarking framework (1) backtracking mechanism (1) architecture comparison (1) mathematical proof (1) tactic prediction (1) code correctness (1) large language model (1)

Papers

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification OSDI 2026 Formally Verified Approximate Policy Iteration AAAI 2025 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024 Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022 TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning NeurIPS 2021