While progress in informal mathematics has come largely from scaling the chain-of-thought and agentic reasoning of frontier language models, formal theorem p…
机构:Meta
来源:arXiv 2610.35962 | AI4Papers 论文推荐平台