Wenda Li
@WendaLi8
Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.
601 Following 1.1K Followers
In contrast to post-verifying LLM solutions, we integrate a formal verifier directly into the solving process. Thanks to @joshuaongg21 for leading the project.
