Skip to content
conftrace_

tactic prediction

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

proof assistant (2) proof search (2) theorem proving (2) trial-and-error learning (1) position evaluation (1) intuitionistic logic (1) machine-checkable proof (1) backtracking mechanism (1) interactive theorem prover (1) interactive theorem proving (1)

Papers

Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving ACL 2024 Proof Artifact Co-Training for Theorem Proving with Language Models ICLR 2022 TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning NeurIPS 2021 GamePad: A Learning Environment for Theorem Proving ICLR 2019