Y. Wu

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Reasoning & Chain-of-Thought (1)Scientific Discovery & Drug Design (1)

Frequent co-authors

E. Jiang (1)Xiao Liang (1)Yikai Zhang (1)Yingjia Wan (1)

Papers (1)

Jul 8, 2026

5d ago·also Cambridge, LLNL, UMacau

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

Current LLM-driven theorem provers fall short in addressing the complexities of frontier mathematics, necessitating a shift towards research agents that can engage in rigorous mathematical exploration.

E. Jiang, Xiao Liang, Yikai Zhang +16

Reasoning & Chain-of-Thought Scientific Discovery & Drug Design

Search

Y. Wu

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)