Yinya Huang

icon indicating a website link http://eleanor-h.github.io/ icon indicating an email [email protected]

icon company ETH Zürich icon location Zürich, Switzerland icon location Machine Learning; NLP; LLMs; Theorem Proving; Complex Reasoning.

Results 1 repositories owned by Yinya Huang

MUSTARD

37
Stars
1
Forks
Watchers

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

verified publisher icon Eleanor-H