Kaiyu Yang
- Learning to Prove Theorems via Interacting with Proof Assistants
2019/05/21 by Kaiyu Yang, Jia Deng, Yang, Kaiyu +1 · 3 voices · 15 citations
Computer Science · #Software Engineering Research #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
- Infinite Photorealistic Worlds using Procedural Generation
2023/06/15 by Alexander Raistrick, Lahav Lipson, Raistrick, Alexander +27 · 1 voice · 32 citations
Computer Science · #Advanced Image and Video Retrieval Techniques #Advanced Neural Network Applications #Advanced Vision and Imaging #cs.CV
- Stacked Hourglass Networks for Human Pose Estimation
2016/03/22 by Alejandro Newell, Newell, Alejandro, Kaiyu Yang +3 · 65 citations
Computer Science · Engineering · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Gait Recognition and Analysis #Human Pose and Action Recognition #Video Surveillance and Tracking Methods
- Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
2025/02/11 by Yong Lin, Shange Tang, Lin, Yong +19 · 2 voices · 28 citations
#cs.LG #cs.AI
- Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
2024/04/18 by Peiyang Song, Song, Peiyang, Kaiyu Yang +3 · 4 voices · 13 citations
Business, Management and Accounting · Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #cs.AI #cs.LG #cs.LO #stat.ML
- Formal Mathematical Reasoning: A New Frontier in AI
2024/12/20 by Kaiyu Yang, Gabriel Poesia, Yang, Kaiyu +11 · 2 voices · 20 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning
- LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
2023/06/27 by Kaiyu Yang, Yang, Kaiyu, Aidan Swope +15 · 43 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques
- SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition
2019/08/07 by Kaiyu Yang, Yang, Kaiyu, Olga Russakovsky +3 · 9 citations
Computer Science · #Adversarial Robustness in Machine Learning #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Multimodal Machine Learning Applications
- A Survey on Deep Learning for Theorem Proving
2024/04/15 by Zhaoyu Li, Li, Zhaoyu, Jialiang Sun +13 · 12 citations
Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Semantic Web and Ontologies
- Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
2025/08/05 by Yong Lin, Lin, Yong, Shange Tang +37 · 2 voices · 34 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.LG
- A Study of Face Obfuscation in ImageNet
2021/03/10 by Kaiyu Yang, Yang, Kaiyu, Jacqueline Yau +7 · 7 citations
Computer Science · #Adversarial Robustness in Machine Learning #Computer Vision and Pattern Recognition (cs.CV) #Digital Media Forensic Detection #FOS: Computer and information sciences #Face recognition and analysis
- Generating Natural Language Proofs with Verifier-Guided Search
2022/05/25 by Kaiyu Yang, Yang, Kaiyu, Jia Deng +3 · 4 citations
Computer Science · #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
- Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
2025/02/19 by Zhongyu Li, Zhaoyu Li, Li, Zenan +15 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning
- Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D
2020/12/02 by Ankit Goyal, Goyal, Ankit, Kaiyu Yang +5 · 1 citation
Computer Science · Social Sciences · #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Geographic Information Systems Studies #Human Pose and Action Recognition #Multimodal Machine Learning Applications #Speech and dialogue systems
- VERINA: Benchmarking Verifiable Code Generation
2025/05/29 by 哲章 小野, Zhengxu Yan, Ye, Zhe +9 · 5 citations
Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research
- Bidding Agent Design in the LinkedIn Ad Marketplace
2022/02/25 by Yuan Gao, Kaiyu Yang, Gao, Yuan +7 · 1 citation
Business, Management and Accounting · Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #Consumer Market Behavior and Pricing #Digital Platforms and Economics #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Spectral Journey: How Transformers Predict the Shortest Path
2025/02/12 by Andrew Cohen, Andrey Gromov, Cohen, Andrew +5 · 1 voice · 1 citation
Computer Science · Physics and Astronomy · #Neural Networks and Applications #Scientific Research and Discoveries