Kaiyu Yang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | PyEuclid: A Versatile Formal Plane Geometry System in Python. | Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si |
| 2025 | ICLR | Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. | Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma |
| 2025 | ICML | Position: Formal Mathematical Reasoning - A New Frontier in AI. | Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song |
| 2024 | ECIR | An In-Depth Comparison of Neural and Probabilistic Tree Models for Learning-to-rank. | Haonan Tan, Kaiyu Yang, Haitao Yu |
| 2024 | ICML | Autoformalizing Euclidean Geometry. | Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si |
| 2024 | IECON | Fault Location Method Based on CNN-BiLSTM-Attention for locating Single-phase Ground Fault in Active distribution. | Kaiyu Yang, Liming Xue, Wei Zhang, Yirui Sun |
| 2023 | CVPR | Infinite Photorealistic Worlds Using Procedural Generation. | Alexander Raistrick, Lahav Lipson, Zeyu Ma, Lingjie Mei, Mingzhe Wang, Yiming Zuo, Karhan Kayan, Hongyu Wen, Beining Han, Yihan Wang, Alejandro Newell, Hei Law, Ankit Goyal, Kaiyu Yang, Jia Deng |
| 2022 | EMNLP | Generating Natural Language Proofs with Verifier-Guided Search. | Kaiyu Yang, Jia Deng, Danqi Chen |
| 2022 | ICML | A Study of Face Obfuscation in ImageNet. | Kaiyu Yang, Jacqueline H. Yau, Li Fei-Fei, Jia Deng, Olga Russakovsky |
| 2019 | ICCV | SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition. | Kaiyu Yang, Olga Russakovsky, Jia Deng |
| 2019 | ICML | Learning to Prove Theorems via Interacting with Proof Assistants. | Kaiyu Yang, Jia Deng |
| 2016 | ECCV | Stacked Hourglass Networks for Human Pose Estimation. | Alejandro Newell, Kaiyu Yang, Jia Deng |