Users following AI4Phys
Yinya Huang
Eleanor-H
Machine Learning; NLP; LLMs; Complex Reasoning; Theorem Proving.
ETH Zürich Zürich, Switzerland
ETH Zürich Zürich, Switzerland