A new neuro-symbolic theorem prover for Euclidean plane geometry trained from scratch on millions of synthesized theorems and proofs outperforms the previous best method and reaches the performance of an olympiad gold medallist.
- Trieu H. Trinh
- Yuhuai Wu
- Thang Luong
