会员服务
9 月 21 日
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
翻译：暂无翻译
Vasily Ilin
Vasily Ilin
from arxiv, 52 pages, 6 figures. Includes a catalogue of imported projects

Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.


翻译：暂无翻译
0
下载
关闭预览

相关内容

生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
专知会员服务
20+阅读 · 5月29日
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
专知会员服务
20+阅读 · 1月17日
【新书】学习 LangChain：使用 LangChain 和 LangGraph 构建 AI 和大语言模型应用，404页pdf
【新书】学习 LangChain：使用 LangChain 和 LangGraph 构建 AI 和大语言模型应用，404页pdf
专知会员服务
50+阅读 · 2025年2月24日
【UCLA博士论文】利用语言模型推进数学推理：多模态和知识密集型视角，208页pdf
【UCLA博士论文】利用语言模型推进数学推理：多模态和知识密集型视角，208页pdf
专知会员服务
34+阅读 · 2024年5月30日
人工智能与数学前沿综述：如何借助 AI 发现数学规律？
人工智能与数学前沿综述：如何借助 AI 发现数学规律？
专知会员服务
53+阅读 · 2024年1月6日
RAG+LLM=？同济大学等最新《大型语言模型的检索增强生成》综述
RAG+LLM=？同济大学等最新《大型语言模型的检索增强生成》综述
专知会员服务
111+阅读 · 2023年12月19日
【USC-Aaron Chan博士答辩Slides】可信自然语言处理机器解释的生成与利用, 242页ppt，Generating and Utilizing Machine Explanations for Trustworthy NLP
【USC-Aaron Chan博士答辩Slides】可信自然语言处理机器解释的生成与利用, 242页ppt，Generating and Utilizing Machine Explanations for Trustworthy NLP
专知会员服务
18+阅读 · 2022年3月13日
回顾机器学习公平的数学框架，Review of Mathematical frameworks for Fairness in Machine Learning
回顾机器学习公平的数学框架，Review of Mathematical frameworks for Fairness in Machine Learning
专知会员服务
39+阅读 · 2020年5月30日
【华盛顿大学】知识建模+生成式推理，60页ppt，Cracking Commonsense Intelligence with Knowledge Modeling + Generative Reasoning
【华盛顿大学】知识建模+生成式推理，60页ppt，Cracking Commonsense Intelligence with Knowledge Modeling + Generative Reasoning
专知会员服务
54+阅读 · 2019年12月27日
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
专知会员服务
16+阅读 · 2019年11月30日
【Manning2020新书】R/mlr机器学习，513页pdf，Machine Learning with R
【Manning2020新书】R/mlr机器学习，513页pdf，Machine Learning with R
专知
69+阅读 · 2020年3月7日
【资源】经典著作《机器学习：概率视角》第二版，1098页pdf下载（附Python代码）
【资源】经典著作《机器学习：概率视角》第二版，1098页pdf下载（附Python代码）
新智元
83+阅读 · 2019年10月28日
【资源】机器学习数学全书，1900页PDF下载
【资源】机器学习数学全书，1900页PDF下载
全球人工智能
158+阅读 · 2019年10月17日
GAN新书《生成式深度学习》Generative Deep Learning，附379页全文PDF
GAN新书《生成式深度学习》Generative Deep Learning，附379页全文PDF
专知
96+阅读 · 2019年9月30日
O'Reilly又出了一本免费的新书！关于深度学习首选这一本
O'Reilly又出了一本免费的新书！关于深度学习首选这一本
大数据技术
18+阅读 · 2019年8月15日
宾夕法尼亚大学教授用1900页讲透了计算机科学数学基础，还是免费的！
宾夕法尼亚大学教授用1900页讲透了计算机科学数学基础，还是免费的！
算法与数据结构
51+阅读 · 2019年8月9日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
伦敦帝国理工学院 134页《深度学习数学基础笔记》(附下载)
伦敦帝国理工学院 134页《深度学习数学基础笔记》(附下载)
专知
46+阅读 · 2018年12月19日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
【论文】深度学习的数学解释
【论文】深度学习的数学解释
机器学习研究会
10+阅读 · 2017年12月15日
天元数学交流项目图像处理中的数学理论及方法研讨会
国家自然科学基金
9+阅读 · 2017年12月31日
资助《数学进展》期刊
国家自然科学基金
3+阅读 · 2015年12月31日
广义Cartan型模李超代数的构作与阶化模
国家自然科学基金
0+阅读 · 2015年12月31日
基于复杂数据的回归模型统计推断及其应用
国家自然科学基金
3+阅读 · 2015年12月31日
系统科学与复杂性学报（英文版）
国家自然科学基金
12+阅读 · 2015年12月31日
面向大数据的知识表示、推理、在线学习理论及应用研究
国家自然科学基金
12+阅读 · 2014年12月31日
代数整数的性质研究和无理测度的计算
国家自然科学基金
0+阅读 · 2014年12月31日
某些分形集上拉普拉斯算子的谱分析及相关问题
国家自然科学基金
0+阅读 · 2014年12月31日
《数学译林》
国家自然科学基金
2+阅读 · 2014年12月31日
不确定性推理与语义网中知识表示的数学基础
国家自然科学基金
18+阅读 · 2012年12月31日
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification
Arxiv
0+阅读 · 10月13日
Formalizing Carleson's Theorem in Lean
Arxiv
0+阅读 · 9月25日
LiveMathematicianBench: A Live Benchmark for Research-Level Mathematical Reasoning with Proof Sketches
Arxiv
0+阅读 · 9月24日
Order-Invariant Answers, Order-Sensitive Representations in Mathematical Reasoning
Arxiv
0+阅读 · 9月23日
Encoding Lean's Type Theory in Dedukti
Arxiv
0+阅读 · 9月21日
Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
Arxiv
0+阅读 · 9月21日
Math for AI safety: an invitation for mathematicians
Arxiv
0+阅读 · 9月14日
Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification
Arxiv
0+阅读 · 9月10日
Inequalities and equalities of means in Constructive Mathematics
Arxiv
0+阅读 · 9月6日
A Survey of Deep Learning for Mathematical Reasoning
Arxiv
21+阅读 · 2022年12月20日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
最新内容
软件定义无人机蜂群给防空带来全新压力
软件定义无人机蜂群给防空带来全新压力
专知会员服务
5+阅读 · 10月13日
《半自主无人地面战车的互操作性》66页
《半自主无人地面战车的互操作性》66页
专知会员服务
5+阅读 · 10月13日
《鲁棒武器-目标分配方法在预测拦截点不确定条件下的应用》
《鲁棒武器-目标分配方法在预测拦截点不确定条件下的应用》
专知会员服务
4+阅读 · 10月13日
《攻击型无人机操作员能力向模拟训练的映射框架研究》130页
《攻击型无人机操作员能力向模拟训练的映射框架研究》130页
专知会员服务
3+阅读 · 10月13日
《加速作战司令部能力部署：指定作战司令官作为联合作战问题的执行代理》
《加速作战司令部能力部署：指定作战司令官作为联合作战问题的执行代理》
专知会员服务
2+阅读 · 10月13日
迈向更智慧的军事情报
迈向更智慧的军事情报
专知会员服务
5+阅读 · 10月12日
《美国陆军2026年野战手册 2-0 情报》
《美国陆军2026年野战手册 2-0 情报》
专知会员服务
5+阅读 · 10月12日
《基于启发式算法求解武器-目标分配问题》
《基于启发式算法求解武器-目标分配问题》
专知会员服务
7+阅读 · 10月12日
《基于聚类的武器-目标分配方法：大规模无人机蜂群》
《基于聚类的武器-目标分配方法：大规模无人机蜂群》
专知会员服务
7+阅读 · 10月12日
【NeurIPS 2026 】TokenRouter：让大模型逐词元路由真正高效运行
【NeurIPS 2026 】TokenRouter：让大模型逐词元路由真正高效运行
专知会员服务
4+阅读 · 10月10日
综述｜大模型生成测试：从“能运行”到“有证据判断对错”
综述｜大模型生成测试：从“能运行”到“有证据判断对错”
专知会员服务
6+阅读 · 10月10日
《美陆军最新条令出版物 2-0 情报》
《美陆军最新条令出版物 2-0 情报》
专知会员服务
8+阅读 · 10月10日
电子战测试与训练靶场：战前验证战备状态
电子战测试与训练靶场：战前验证战备状态
专知会员服务
3+阅读 · 10月10日
《自主武器系统——超越人在回路：纠正可达性与未来的封闭》34页
《自主武器系统——超越人在回路：纠正可达性与未来的封闭》34页
专知会员服务
6+阅读 · 10月10日
《美国陆军如何作战》46页最新报告
《美国陆军如何作战》46页最新报告
专知会员服务
9+阅读 · 10月10日
相关VIP内容
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
专知会员服务
20+阅读 · 5月29日
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
专知会员服务
20+阅读 · 1月17日
【新书】学习 LangChain：使用 LangChain 和 LangGraph 构建 AI 和大语言模型应用，404页pdf
【新书】学习 LangChain：使用 LangChain 和 LangGraph 构建 AI 和大语言模型应用，404页pdf
专知会员服务
50+阅读 · 2025年2月24日
【UCLA博士论文】利用语言模型推进数学推理：多模态和知识密集型视角，208页pdf
【UCLA博士论文】利用语言模型推进数学推理：多模态和知识密集型视角，208页pdf
专知会员服务
34+阅读 · 2024年5月30日
人工智能与数学前沿综述：如何借助 AI 发现数学规律？
人工智能与数学前沿综述：如何借助 AI 发现数学规律？
专知会员服务
53+阅读 · 2024年1月6日
RAG+LLM=？同济大学等最新《大型语言模型的检索增强生成》综述
RAG+LLM=？同济大学等最新《大型语言模型的检索增强生成》综述
专知会员服务
111+阅读 · 2023年12月19日
【USC-Aaron Chan博士答辩Slides】可信自然语言处理机器解释的生成与利用, 242页ppt，Generating and Utilizing Machine Explanations for Trustworthy NLP
【USC-Aaron Chan博士答辩Slides】可信自然语言处理机器解释的生成与利用, 242页ppt，Generating and Utilizing Machine Explanations for Trustworthy NLP
专知会员服务
18+阅读 · 2022年3月13日
回顾机器学习公平的数学框架，Review of Mathematical frameworks for Fairness in Machine Learning
回顾机器学习公平的数学框架，Review of Mathematical frameworks for Fairness in Machine Learning
专知会员服务
39+阅读 · 2020年5月30日
【华盛顿大学】知识建模+生成式推理，60页ppt，Cracking Commonsense Intelligence with Knowledge Modeling + Generative Reasoning
【华盛顿大学】知识建模+生成式推理，60页ppt，Cracking Commonsense Intelligence with Knowledge Modeling + Generative Reasoning
专知会员服务
54+阅读 · 2019年12月27日
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
专知会员服务
16+阅读 · 2019年11月30日
热门VIP内容
相关资讯
【Manning2020新书】R/mlr机器学习，513页pdf，Machine Learning with R
【Manning2020新书】R/mlr机器学习，513页pdf，Machine Learning with R
专知
69+阅读 · 2020年3月7日
【资源】经典著作《机器学习：概率视角》第二版，1098页pdf下载（附Python代码）
【资源】经典著作《机器学习：概率视角》第二版，1098页pdf下载（附Python代码）
新智元
83+阅读 · 2019年10月28日
【资源】机器学习数学全书，1900页PDF下载
【资源】机器学习数学全书，1900页PDF下载
全球人工智能
158+阅读 · 2019年10月17日
GAN新书《生成式深度学习》Generative Deep Learning，附379页全文PDF
GAN新书《生成式深度学习》Generative Deep Learning，附379页全文PDF
专知
96+阅读 · 2019年9月30日
O'Reilly又出了一本免费的新书！关于深度学习首选这一本
O'Reilly又出了一本免费的新书！关于深度学习首选这一本
大数据技术
18+阅读 · 2019年8月15日
宾夕法尼亚大学教授用1900页讲透了计算机科学数学基础，还是免费的！
宾夕法尼亚大学教授用1900页讲透了计算机科学数学基础，还是免费的！
算法与数据结构
51+阅读 · 2019年8月9日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
伦敦帝国理工学院 134页《深度学习数学基础笔记》(附下载)
伦敦帝国理工学院 134页《深度学习数学基础笔记》(附下载)
专知
46+阅读 · 2018年12月19日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
【论文】深度学习的数学解释
【论文】深度学习的数学解释
机器学习研究会
10+阅读 · 2017年12月15日
相关论文
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification
Arxiv
0+阅读 · 10月13日
Formalizing Carleson's Theorem in Lean
Arxiv
0+阅读 · 9月25日
LiveMathematicianBench: A Live Benchmark for Research-Level Mathematical Reasoning with Proof Sketches
Arxiv
0+阅读 · 9月24日
Order-Invariant Answers, Order-Sensitive Representations in Mathematical Reasoning
Arxiv
0+阅读 · 9月23日
Encoding Lean's Type Theory in Dedukti
Arxiv
0+阅读 · 9月21日
Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
Arxiv
0+阅读 · 9月21日
Math for AI safety: an invitation for mathematicians
Arxiv
0+阅读 · 9月14日
Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification
Arxiv
0+阅读 · 9月10日
Inequalities and equalities of means in Constructive Mathematics
Arxiv
0+阅读 · 9月6日
A Survey of Deep Learning for Mathematical Reasoning
Arxiv
21+阅读 · 2022年12月20日
相关基金
天元数学交流项目图像处理中的数学理论及方法研讨会
国家自然科学基金
9+阅读 · 2017年12月31日
资助《数学进展》期刊
国家自然科学基金
3+阅读 · 2015年12月31日
广义Cartan型模李超代数的构作与阶化模
国家自然科学基金
0+阅读 · 2015年12月31日
基于复杂数据的回归模型统计推断及其应用
国家自然科学基金
3+阅读 · 2015年12月31日
系统科学与复杂性学报（英文版）
国家自然科学基金
12+阅读 · 2015年12月31日
面向大数据的知识表示、推理、在线学习理论及应用研究
国家自然科学基金
12+阅读 · 2014年12月31日
代数整数的性质研究和无理测度的计算
国家自然科学基金
0+阅读 · 2014年12月31日
某些分形集上拉普拉斯算子的谱分析及相关问题
国家自然科学基金
0+阅读 · 2014年12月31日
《数学译林》
国家自然科学基金
2+阅读 · 2014年12月31日
不确定性推理与语义网中知识表示的数学基础
国家自然科学基金
18+阅读 · 2012年12月31日
Top
微信扫码咨询专知VIP会员
Top