Research author

Dingzirui Wang

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Dingzirui Wang

Aug 20, 2026
cs.CL

FormalTCS: Benchmarking End-to-End Frontier Formal Theoretical Computer Science Research of Large Language Models

Dingzirui Wang, Xuanliang Zhang, Keyan Xu, et al.

Jul 7, 2026
cs.CL

CurateEvo: Data-Curation Evolving for Agentic Post-Training

Dingzirui Wang, Xuanliang Zhang, Keyan Xu, et al.

Dingzirui Wang — AI Research Papers | One9Founders