arXiv· Alan Sorani·· 20 小时前
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
来源：arXiv · arxiv.org
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs