Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2104.05207
Cited By
v1
v2 (latest)
Online Machine Learning Techniques for Coq: A Comparison
12 April 2021
Liao Zhang
Lasse Blaauwbroek
Bartosz Piotrowski
Prokop Cerný
C. Kaliszyk
Josef Urban
OffRL
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Online Machine Learning Techniques for Coq: A Comparison"
2 / 2 papers shown
Title
The Tactician's Web of Large-Scale Formal Knowledge
Lasse Blaauwbroek
58
4
0
05 Jan 2024
Machine-Learned Premise Selection for Lean
Bartosz Piotrowski
Ramon Fernández Mir
Edward W. Ayers
85
15
0
17 Mar 2023
1
