ResearchTrend.AI
The Tactician's Web of Large-Scale Formal Knowledge
v1v2 (latest)

The Tactician's Web of Large-Scale Formal Knowledge

Lasse Blaauwbroek
ArXiv (abs)PDFHTML

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
Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
Sara Rajaee
Kumar Pratik
Gabriele Cesa
Arash Behboodi
OffRLLRM
125
0
0
12 Mar 2025
Graph2Tac: Online Representation Learning of Formal Math Concepts
Graph2Tac: Online Representation Learning of Formal Math Concepts
Lasse Blaauwbroek
Miroslav Olšák
Jason Rute
F. I. S. Massolo
Jelle Piepenbrock
Vasily Pestun
96
11
0
05 Jan 2024

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.