Invited Talk
in
Workshop: 3rd AI for Math Workshop: Toward Self-Evolving Scientific Agents Fri, Jul 10, 2026 • 10:10 PM – 10:40 PM PDT

Toward Bridging the Informal-Formal Gap

Yinya Huang

https://eleanor-h.github.io/

Chat is not available.