Recent achievements in AI-assisted mathematics require intensive interaction of agents with proof assistants to generate machine-checked proof certificates. …
机构:Inria
来源:arXiv 2609.39544 | AI4Papers 论文推荐平台