Skill evolution offers a promising way to improve large language model agents without updating their parameters, but its use in formal theorem proving remain…
机构:北大
来源:arXiv 2610.01799 | AI4Papers 论文推荐平台