Kaiyu Yang - RankMe

53 papers A* 11C 1Journal 30Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification. Commun. ACM Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2026	J	`jnl`	Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification. CoRR Zenan Li, Ziran Yang, Deyuan He, Haoyu Zhao, Andrew Zhao, Shange Tang, Kaiyu Yang, Aarti Gupta, Zhendong Su, Chi Jin
2026	J	`jnl`	Learning to Disprove: Formal Counterexample Generation with Large Language Models. CoRR Zenan Li, Zhaoyu Li, Kaiyu Yang, Xiaoxing Ma, Zhendong Su
2026	J	`jnl`	SGAN: Shapelet-based GAN for local time series black-box attack. Pattern Recognit. Kaiyu Yang, Jidong Yuan, Haoyu Yan, Haiyang Liu, Yongqi Sun
2025	J	`jnl`	Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. CoRR Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin
2025	J	`jnl`	Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving. CoRR Yong Lin, Shange Tang, Bohan Lyu, Jiayun Wu, Hongzhou Lin, Kaiyu Yang, Jia Li, Mengzhou Xia, Danqi Chen, Sanjeev Arora, Chi Jin
2025	—	`conf`	Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean. NeuS Peiyang Song, Kaiyu Yang, Anima Anandkumar
2025	J	`jnl`	Lean Finder: Semantic Search for Mathlib That Understands User Intents. CoRR Jialin Lu, Kye Emond, Kaiyu Yang, Swarat Chaudhuri, Weiran Sun, Wuyang Chen
2025	—	`conf`	Position: Formal Mathematical Reasoning - A New Frontier in AI. ICML (Position Papers) Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2025	J	`jnl`	ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations. CoRR Alex Gu, Bartosz Piotrowski, Fabian Gloeckle, Kaiyu Yang, Aram H. Markosyan
2025	A*	`conf`	Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. ICLR Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025	J	`jnl`	Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. CoRR Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025	—	`conf`	PyEuclid: A Versatile Formal Plane Geometry System in Python. CAV (4) Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si
2025	J	`jnl`	Spectral Journey: How Transformers Predict the Shortest Path. CoRR Andrew Cohen, Andrey Gromov, Kaiyu Yang, Yuandong Tian
2025	J	`jnl`	VERINA: Benchmarking Verifiable Code Generation. CoRR Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song
2024	J	`jnl`	A Survey on Deep Learning for Theorem Proving. CoRR Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
2024	—	`conf`	An In-Depth Comparison of Neural and Probabilistic Tree Models for Learning-to-rank. ECIR (3) Haonan Tan, Kaiyu Yang, Haitao Yu
2024	A*	`conf`	Autoformalizing Euclidean Geometry. ICML Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
2024	J	`jnl`	Autoformalizing Euclidean Geometry. CoRR Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
2024	C	`conf`	Fault Location Method Based on CNN-BiLSTM-Attention for locating Single-phase Ground Fault in Active distribution. IECON Kaiyu Yang, Liming Xue, Wei Zhang, Yirui Sun
2024	J	`jnl`	Formal Mathematical Reasoning: A New Frontier in AI. CoRR Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2024	J	`jnl`	Optimal Design of Linkage-Driven Underactuated Hand for Precise Pinching and Powerful Grasping. IEEE Robotics Autom. Lett. Hailiang Meng, Kaiyu Yang, Lingxuan Zhou, Shi Yixiao, Shibo Cai, Guanjun Bao
2024	J	`jnl`	SciGLM: Training Scientific Language Models with Self-Reflective Instruction Annotation and Tuning. CoRR Dan Zhang, Ziniu Hu, Sining Zhoubian, Zhengxiao Du, Kaiyu Yang, Zihan Wang, Yisong Yue, Yuxiao Dong, Jie Tang
2024	A*	`conf`	SciInstruct: a Self-Reflective Instruction Annotated Dataset for Training Scientific Language Models. NeurIPS Dan Zhang, Ziniu Hu, Sining Zhoubian, Zhengxiao Du, Kaiyu Yang, Zihan Wang, Yisong Yue, Yuxiao Dong, Jie Tang
2024	—	`conf`	Towards Incorporating Personalized Context for Conversational Information Seeking. IR-RAG@SIGIR Haitao Yu, Lingzhen Zheng, Kaiyu Yang, Sumio Fujita, Hideo Joho
2024	J	`jnl`	Towards Large Language Models as Copilots for Theorem Proving in Lean. CoRR Peiyang Song, Kaiyu Yang, Anima Anandkumar
2023	A*	`conf`	Infinite Photorealistic Worlds Using Procedural Generation. CVPR 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
2023	J	`jnl`	Infinite Photorealistic Worlds using Procedural Generation. CoRR 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
2023	A*	`conf`	LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. NeurIPS Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar
2023	J	`jnl`	LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. CoRR Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
2023	J	`jnl`	Learning Symbolic Rules for Reasoning in Quasi-Natural Language. Trans. Mach. Learn. Res. Kaiyu Yang, Jia Deng
2023	—	`conf`	University of Tsukuba Team at the TREC 2023 Deep Learning Track. TREC Kaiyu Yang, Lingzhen Zheng, Haitao Yu, Sumio Fujita, Hideo Joho
2023	—	`conf`	University of Tsukuba Team at the TREC 2023 Interactive Knowledge Assistance Track. TREC Lingzhen Zheng, Kaiyu Yang, Haitao Yu, Sumio Fujita, Hideo Joho
2022	A*	`conf`	A Study of Face Obfuscation in ImageNet. ICML Kaiyu Yang, Jacqueline H. Yau, Li Fei-Fei, Jia Deng, Olga Russakovsky
2022	J	`jnl`	Bidding Agent Design in the LinkedIn Ad Marketplace. CoRR Yuan Gao, Kaiyu Yang, Yuanlong Chen, Min Liu, Noureddine El Karoui
2022	A*	`conf`	Generating Natural Language Proofs with Verifier-Guided Search. EMNLP Kaiyu Yang, Jia Deng, Danqi Chen
2022	J	`jnl`	Generating Natural Language Proofs with Verifier-Guided Search. CoRR Kaiyu Yang, Jia Deng, Danqi Chen
2022	—	`conf`	Grasp force optimization in the design of a humanoid dexterous hand fingertips. ROBIO Xuanyi Zhou, Bingqing Yu, Yaojie Mao, Kaiyu Yang, Shibo Cai, Guanjun Bao
2022	—	`—`	Neurosymbolic Machine Learning for Reasoning Kaiyu Yang
2021	J	`jnl`	A Study of Face Obfuscation in ImageNet. CoRR Kaiyu Yang, Jacqueline Yau, Li Fei-Fei, Jia Deng, Olga Russakovsky
2021	J	`jnl`	Learning Symbolic Rules for Reasoning in Quasi-Natural Language. CoRR Kaiyu Yang, Jia Deng
2020	A*	`conf`	Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D. NeurIPS Ankit Goyal, Kaiyu Yang, Dawei Yang, Jia Deng
2020	J	`jnl`	Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D. CoRR Ankit Goyal, Kaiyu Yang, Dawei Yang, Jia Deng
2020	A*	`conf`	Strongly Incremental Constituency Parsing with Graph Neural Networks. NeurIPS Kaiyu Yang, Jia Deng
2020	J	`jnl`	Strongly Incremental Constituency Parsing with Graph Neural Networks. CoRR Kaiyu Yang, Jia Deng
2020	—	`conf`	Towards fairer datasets: filtering and balancing the distribution of the people subtree in the ImageNet hierarchy. FAT* Kaiyu Yang, Klint Qinami, Li Fei-Fei, Jia Deng, Olga Russakovsky
2019	A*	`conf`	Learning to Prove Theorems via Interacting with Proof Assistants. ICML Kaiyu Yang, Jia Deng
2019	J	`jnl`	Learning to Prove Theorems via Interacting with Proof Assistants. CoRR Kaiyu Yang, Jia Deng
2019	A*	`conf`	SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition. ICCV Kaiyu Yang, Olga Russakovsky, Jia Deng
2019	J	`jnl`	SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition. CoRR Kaiyu Yang, Olga Russakovsky, Jia Deng
2019	J	`jnl`	Towards Fairer Datasets: Filtering and Balancing the Distribution of the People Subtree in the ImageNet Hierarchy. CoRR Kaiyu Yang, Klint Qinami, Li Fei-Fei, Jia Deng, Olga Russakovsky
2016	—	`conf`	Stacked Hourglass Networks for Human Pose Estimation. ECCV (8) Alejandro Newell, Kaiyu Yang, Jia Deng
2016	J	`jnl`	Stacked Hourglass Networks for Human Pose Estimation. CoRR Alejandro Newell, Kaiyu Yang, Jia Deng