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.
参加 October 2020
601 フォロー中 1.1K ファン
In contrast to post-verifying LLM solutions, we integrate a formal verifier directly into the solving process. Thanks to @joshuaongg21 for leading the project.
