Kye Emond

According to our database, Kye Emond authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Lean Finder: Semantic Search for Mathlib That Understands User Intents.

Jialin Lu, Kye Emond, Kaiyu Yang, Swarat Chaudhuri, Weiran Sun, Wuyang Chen

CoRR, October, 2025

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs.

Mauricio Soroco, Jialin Song, Mengzhou Xia, Kye Emond, Weiran Sun, Wuyang Chen

Proceedings of the Forty-second International Conference on Machine Learning, 2025