Announcement_17
I will be attending EMNLP 2026 in Budapest, presenting Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation🔥. Feel free to reach out if you’d like to meet or discuss interesting topics!
I will be attending EMNLP 2026 in Budapest, presenting Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation🔥. Feel free to reach out if you’d like to meet or discuss interesting topics!