影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
57.21/100
前 5.6%
全站排名 #3,609
发表论文9 篇
平均评分
年均产出3.0 篇/年
Kaiyu Yang
研究方向
automated reasoning · automated theorem proving · program synthesis · neural-symbolic models · logical reasoning · AI for mathematics · deep learning
12
ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
ICLR 2026Poster
17
Euclid-Omni: A Unified Neuro-Symbolic Framework for Geometry Problem Solving
ICLR 2026Rejected
通讯30
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
ICLR 2026Poster
20
VERINA: Benchmarking Verifiable Code Generation
ICLR 2026Poster
27
Lean Finder: Semantic Search for Mathlib That Understands User Intents
ICLR 2026Poster
三作6
Learning to Disprove: Formal Counterexample Generation with Large Language Models
ICLR 2026Withdrawn
三作