RESEARCH · SIGNAL STARTUP
Lea: An Agent Backbone for Mathematician-Controlled Formalization in Lean
arXiv:2611.08849v1 Announce Type: new Abstract: Agentic systems now formalize research-level mathematics in Lean, but they are built for autonomy: the mathematician states a targe…
出典・元記事arXiv — Human-Computer Interactionhttps://arxiv.org/abs/2611.08849 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP