2 citations · 2 across the 1 of their papers we have counts for
1 paper
Evan Lohn, Sean Welleck
AI agents have shown initial promise in automating mathematical theorem proving in proof assistants such as Lean. The same proof assistants can be used to verify the correctness of…