1 paper · 1 filter
Logan Murphy, Kaiyu Yang, Jialiang Sun +3
Autoformalization involves automatically translating informal math into formal theorems and proofs that are machine-verifiable. Euclidean geometry provides an interesting and contr…