TCSExam 是由可验证的理论计算机科学研究任务评测模型与 agent 组成的系统。 题目 Full 包含 100 道题；Lite 从 Full 的各类题目中各选取 5 道，共 20 道。 读法说明：表格列出各套件的题目数量；每道 Solver 题分别提供 Online 和 Offline 两个题目包。 评测套件 定理证明 求解器工程 构造 开放猜想 合计 Full 20 30 20 30 100 Lite 5 5 5 5 20 定理证明题要求用 Lean 证明已发表的结果。Solver…