conftrace_

interactive theorem prover

5 papers

Explore in graph

Also known as

ITP

Co-occurring keywords · papers mentioning both

automated theorem proving (2) formal verification (2) theorem proving (2) proof assistant (1) machine-checkable proof (1) tactic prediction (1) theorem retrieval (1) automated theorem prover (1) hammer method (1) position evaluation (1)

Papers

Towards a Common Framework for Autoformalization AAAI 2026 A Semantic Search Engine for Mathlib4 EMNLP 2024 Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024 Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers NeurIPS 2022 GamePad: A Learning Environment for Theorem Proving ICLR 2019