Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2403.03401
Cited By
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
6 March 2024
Sean Lamont
Michael Norrish
Amir Dezfouli
Christian J. Walder
Paul Montague
Re-assign community
ArXiv (abs)
PDF
HTML
Github (5★)
Papers citing
"BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving"
2 / 2 papers shown
3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
Sean Lamont
Christian J. Walder
Amir Dezfouli
Paul Montague
Michael Norrish
361
3
0
14 Oct 2024
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li
Jialiang Sun
Logan Murphy
Qidong Su
Zenan Li
Xian Zhang
Kaiyu Yang
Xujie Si
LRM
360
56
0
15 Apr 2024
1
Page 1 of 1
