Kaiyu Yang

MiroMind

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Jialin Lu (1)Soonho Kong (1)Rodrigo Stehling (1)Zhangyang Wang (1)

Papers (1)

May 18, 2026

1w ago·also Amazon Science, MiroMind, UT Austin

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

LLMs can now automatically slim down and future-proof mathematical proofs, achieving 70% compression and 60% faster compilation by strategically rewriting them.

Jialin Lu, Soonho Kong, Rodrigo Stehling +4

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents