Kaiyu Yang
12 papers · 2019–2025 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Conference Polyglot (6) π Academic Marathon (6) π Renaissance Researcher (7) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (24)
πΊοΈ
Taxonomy Completionist
(24)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Keyword Champion
(2)
ποΈ
Keyword Collector
(53)
π
Century Club
(12)
Conferences
ICML (4)
NIPS (4)
CVPR (1)
EMNLP (1)
ICCV (1)
ICLR (1)
Top co-authors
Research topics
Keywords
proof assistant
(2)
scene understanding
(2)
feature extraction
(1)
object recognition
(1)
mathematical reasoning
(1)
theorem proving
(1)
natural language inference
(1)
instruction tuning
(1)
semantic analysis
(1)
3d vision
(1)
3d scene understanding
(1)
program synthesis
(1)
procedural generation
(1)
deep learning
(1)
automated reasoning
(1)
knowledge distillation
(1)
incremental parsing
(1)
constituency parsing
(1)
image recognition
(1)
transfer learning
(1)
Papers
Position: Formal Mathematical ReasoningβA New Frontier in AI
ICML 2025
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025
Autoformalizing Euclidean Geometry
ICML 2024
SciInstruct: a Self-Reflective Instruction Annotated Dataset for Training Scientific Language Models
NIPS 2024
Infinite Photorealistic Worlds Using Procedural Generation
CVPR 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
NIPS 2023
Generating Natural Language Proofs with Verifier-Guided Search
EMNLP 2022
A Study of Face Obfuscation in ImageNet
ICML 2022
Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D
NIPS 2020
Strongly Incremental Constituency Parsing with Graph Neural Networks
NIPS 2020
Learning to Prove Theorems via Interacting with Proof Assistants
ICML 2019
SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition
ICCV 2019