AI.info

Xiaorui Shi

Explore Xiaorui Shi on AI.info.

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