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 题要求实现算法，并在隐藏实例上 
评测。构造题要求给出可验证的构造或界。开放猜想题接受对所述猜想的完整 Lean 
证明或证伪。 
 [image] 
[image] 
Source: