Qingfu Zhu

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Eval Frameworks & Benchmarks (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Dingzirui Wang (1)Xuanliang Zhang (1)Keyan Xu (1)Wanxiang Che (1)

Papers (1)

Aug 20, 2026

Dingzirui Wang +41w ago

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

Current LLMs can barely translate natural-language claims into formal statements, achieving only 11.5 on a critical task that could unlock automated theoretical research.

Dingzirui Wang, Xuanliang Zhang, Keyan Xu +2

Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought

Search

Qingfu Zhu

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)