Tao Luo

Tao Luo has 2 papers in our library, in 2025–2026; often with Xiaoyang Liu, Yu Chen.

2 papers in our library · 2025–2026

The profile is the library's match of the name; two people with one name are not always told apart.

Affiliations

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

Of its works in our library, with the number of works on each.

The most cited first (OpenAlex and our library).

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data (2025 · 16 citations)
The paper addresses autoformalization: converting natural-language theorem statements into machine-checkable Lean 4 code.
ProductResearch: Training E-Commerce Deep Research Agents via Multi-Agent Synthetic Trajectory Distillation (2026)
General-purpose Deep Research agents are tuned mainly for web search and transfer poorly to online shopping.

2 co-authors with a page, the most papers together first.

Where their works here were published, the most works first, with the editions of those that have a page.

Papers of our library cite their works 15 times (of the 149,439 papers whose bibliographies we read); 1 citing paper with a page here →.

Updated 1 November 2026