statement formalizers
#2
by
catalin-hanga
- opened
The accompanying paper https://arxiv.org/abs/2502.07640 mentions in section 3.1 that two models were trained to translate mathematical statements from informal natural language into the Lean 4 formal language. Are these two statement formalizers publicly available as open source models ?