AI.info

Minghe Yu

Explore Minghe Yu on AI.info.

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