AI.info

Wangyue Lu

Explore Wangyue Lu on AI.info.

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