Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2401.02950
Cited By
v1
v2 (latest)
The Tactician's Web of Large-Scale Formal Knowledge
5 January 2024
Lasse Blaauwbroek
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"The Tactician's Web of Large-Scale Formal Knowledge"
2 / 2 papers shown
Title
Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
Sara Rajaee
Kumar Pratik
Gabriele Cesa
Arash Behboodi
OffRL
LRM
125
0
0
12 Mar 2025
Graph2Tac: Online Representation Learning of Formal Math Concepts
Lasse Blaauwbroek
Miroslav Olšák
Jason Rute
F. I. S. Massolo
Jelle Piepenbrock
Vasily Pestun
94
11
0
05 Jan 2024
1
