Kye Emond

MS student, Physics, University of Waterloo

Joined

January 2025

Names

Kye Emond (Preferred)

Emails

****@sfu.ca (Confirmed)

,

****@perimeterinstitute.ca (Confirmed)

Personal Links

Career & Education History

MS student

Physics, University of Waterloo (uwaterloo.ca)

2025 – 2026

Advisors, Relations & Conflicts

Coauthor

2024 – 2025

Coauthor

2024 – 2025

Coauthor

2024 – 2025

Coauthor

2024 – 2025

Coauthor

Mauricio Soroco

2024 – 2025

Expertise

No areas of expertise listed

Publications

Lean Finder: Semantic Search for Mathlib That Understands User Intents
Jialin Lu, Kye Emond, Kaiyu Yang, Swarat Chaudhuri, Weiran Sun, Wuyang Chen
- ICLR 2026 Poster
- Readers: Everyone
Lean Finder: Semantic Search for Mathlib That Understands User Intents
Jialin Lu, Kye Emond, Weiran Sun, Wuyang Chen
- AI4Math@ICML25 Poster
- Readers: Everyone
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
Mauricio Soroco, Jialin Song, Mengzhou Xia, Kye Emond, Weiran Sun, Wuyang Chen
- Reasoning and Planning for LLMs @ ICLR2025
- Readers: Everyone
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
Mauricio Soroco, Jialin Song, Mengzhou Xia, Kye Emond, Weiran Sun, Wuyang Chen
- ICML 2025 poster
- Readers: Everyone

Co-Authors