الباحثون

Xiyuan Zhang

المنشورات 2

نسخة أولية وصول مفتوح

TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science

Chutong Yang, Xiyuan Zhang, Yu Huang وآخرون · 2026

Large language models perform strongly on competition mathematics, but their research-level reasoning remains difficult to evaluate systematically. Theoretical computer science (TCS) connects algorithm design to explicit guarantees and fundamental limits, providing a setting for evaluating whether models can justify co …

المؤلفون المشاركون