Kaiyu Yang
12 papers · 2019–2025 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
๐บ๏ธ Taxonomy Completionist (26) ๐ Conference Polyglot ยท Silver ๐ Academic Marathon ยท Sprint ๐ฃ Hot Topic Early Bird ๐ Interdisciplinary Bridge ยท Silver
๐งฌ
Topic Evolution
๐
Keyword Champion
(3)
๐
Renaissance Researcher
(5)
๐๏ธ
Keyword Collector
(68)
๐
Century Club ยท Bronze
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Machine Learning
(5)
Computer Vision
(4)
Natural Language Processing
(4)
Analysis
(3)
Application Areas
(3)
Resources & Methods
(3)
Computer Science
(2)
Deep Learning
(2)
Applications
(2)
Architectures
(2)
Domain-Specific
(2)
Learning Types
(2)
Security & Privacy
(1)
Keywords
proof assistant
(3)
large language model
(3)
scene understanding
(2)
feature extraction
(1)
symbolic reasoning
(1)
mathematical reasoning
(1)
object recognition
(1)
knowledge distillation
(1)
natural language inference
(1)
semantic analysis
(1)
3d vision
(1)
3d scene understanding
(1)
program synthesis
(1)
procedural generation
(1)
automated reasoning
(1)
deep learning
(1)
instruction tuning
(1)
formal verification
(1)
incremental parsing
(1)
theorem proving
(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
NeurIPS 2024
Infinite Photorealistic Worlds Using Procedural Generation
CVPR 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
NeurIPS 2023
A Study of Face Obfuscation in ImageNet
ICML 2022
Generating Natural Language Proofs with Verifier-Guided Search
EMNLP 2022
Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D
NeurIPS 2020
Strongly Incremental Constituency Parsing with Graph Neural Networks
NeurIPS 2020
Learning to Prove Theorems via Interacting with Proof Assistants
ICML 2019
SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition
ICCV 2019