AI.info

Tiancheng Zhang

Explore Tiancheng Zhang on AI.info.

• MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification