research
∙
05/23/2022
HyperTree Proof Search for Neural Theorem Proving
We propose an online training procedure for a transformer-based automate...
share
research
∙
04/07/2020
Maintaining a Library of Formal Mathematics
The Lean mathematical library mathlib is developed by a community of use...
research
∙
10/17/2018
