AI.info

Ke Weng

Explore Ke Weng on AI.info.

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