Advances in large language models (LLMs) are rapidly transforming formal theorem proving. Yet further progress remains constrained by the lack of a transpare…
机构:上交
来源:arXiv 2611.16433 | AI4Papers 论文推荐平台