論文の概要: Lean Pool: An AI-Maintained Archive of Formalized Mathematics
- arxiv url: http://arxiv.org/abs/2609.25199v1
- Date: Mon, 21 Sep 2026 17:57:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-23 18:04:04.055024
- Title: Lean Pool: An AI-Maintained Archive of Formalized Mathematics
- Title（参考訳）: Lean Pool: 形式化された数学のAI管理されたアーカイブ
- Abstract要約: リーンプール(Lean Pool)は、形式化された数学のリポジトリである。
AIエージェントによって成長、維持、最適化されている。
リーンプール(Lean Pool)は、形式化された数学のリポジトリである。
- 参考スコア（独自算出の注目度）: 0.564046562677526
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
- Abstract（参考訳）: リーンプール(Lean Pool)は、形式化された数学のリポジトリである。
AIエージェントによって成長、維持、最適化されている。
関連論文リスト
- MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics [51.65118519899584]
数学的民俗補題の発見と形式化を自動化するLLMベースのマルチエージェントシステムであるMathlibLemmaを紹介する。
さらに、幅広い数学的領域にまたがる4,028の型チェックリーンステートメントスイートであるMathlibLemmaベンチマークを構築します。
論文 参考訳（メタデータ） (2026-01-30T15:24:42Z) - Mathematics and Coding are Universal AI Benchmarks [0.0]
我々は,AIエージェントのための心理測定バッテリーの変調空間内での数学とコーディングの特別な役割について研究する。
正規証明カーネル(例えば、Lean, Coq)と組み合わせると、このファイバー上のGVUフローはスペクトル的に安定な自己改善レギュレーションを持つことを示す。
論文 参考訳（メタデータ） (2025-12-15T14:36:29Z) - Advancing mathematics research with generative AI [0.0]
本稿では,生成型AIモデルを用いて数学研究を進展させる方法について論じる。
生成的AIモデルの設計を有利にすることで、数学者はそれらを強力な対話型アシスタントとして利用することができる。
論文 参考訳（メタデータ） (2025-09-29T01:04:44Z) - LeanAgent: Lifelong Learning for Formal Theorem Proving [85.39415834798385]
フォーマルな定理証明のための新しい生涯学習フレームワークであるLeanAgentを紹介する。
LeanAgentは継続的に一般化し、拡張可能な数学的知識を改善します。
これは23のリーンリポジトリにわたる155の定理の正式な証明を生成する。
論文 参考訳（メタデータ） (2024-10-08T17:11:24Z) - Math Agents: Computational Infrastructure, Mathematical Embedding, and
Genomics [0.0]
人間-AIチャット以外にも、大規模言語モデル(LLM)はプログラミング、アルゴリズム発見、定理証明に現れている。
本研究は「ムーアの数学法則」の新たなエントリとして数学エージェントと数学的埋め込みを紹介する。
プロジェクトは、情報システム生物学の老朽化問題に対処するために、数学エージェントと数学的埋め込みを使用することを目的としている。
論文 参考訳（メタデータ） (2023-07-04T20:16:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。