专栏 RSS订阅(公众号)
温馨提示:订阅专栏后它将会自动更新,无人订阅的专栏有可能不会更新。
专栏 二维码
TodayRss-海外RSS稳定源
他们也喜欢这个专栏
 • 
RSS订阅
今天看啥  ›  专栏  ›  CreateAMind
ALLinCreateAMind.AGI.top , 前沿AGI技术探索,论文跟进,复现验证,落地实验。 鼓励新思想的探讨及验证等。 探索比大模型更优的智能模型。
免责声明:本专栏仅为信息导航参考,不代表原文立场或观点。 原专栏内容版权归原作者所有,如您为原作者并希望删除该专栏,请通过 【版权申诉通道】联系我们处理。
开通 RSS极速订阅 可分钟级获得文章
生成式贝叶斯滤波和参数学习
CreateAMind  ·  公众号  ·  ·  3 月前  · 
基于最小变化原理的量子贝叶斯法则与佩茨转置映射
CreateAMind  ·  公众号  ·  ·  3 月前  · 
非参数分布匹配的免似然自适应贝叶斯推断方法
CreateAMind  ·  公众号  ·  ·  3 月前  · 
少即是多:微模型的递归推理
CreateAMind  ·  公众号  ·  ·  3 月前  · 
ProRL:延长强化学习突破大语言模型推理极限
CreateAMind  ·  公众号  ·  ·  3 月前  · 
通过"难度预判"机制提升小语言模型的数学推理能力
CreateAMind  ·  公众号  ·  ·  3 月前  · 
论鲁棒贝叶斯因果推理
CreateAMind  ·  公众号  ·  ·  3 月前  · 
模型误设下贝叶斯最优实验设计的泛化性能分析
CreateAMind  ·  公众号  ·  ·  3 月前  · 
广义贝叶斯推理下的稳健实验设计
CreateAMind  ·  公众号  ·  ·  3 月前  · 
Bayesian Machine Learning
CreateAMind  ·  公众号  ·  ·  3 月前  · 
开源通用智能体推理系统,用于形式数学证明:Numina-Lean-Agent
CreateAMind  ·  公众号  ·  ·  3 月前  · 
开源自动化的前沿模型定理证明:Goedel-Prover:
CreateAMind  ·  公众号  ·  ·  3 月前  · 
用大语言模型求解不等式证明
CreateAMind  ·  公众号  ·  ·  3 月前  · 
结合非形式化推理递归构建形式化证明
CreateAMind  ·  公众号  ·  ·  3 月前  · 
miniF2F-Dafny:通过自动验证的LLM引导的数学定理证明
CreateAMind  ·  公众号  ·  ·  3 月前  · 
频率学派对分布式(非)贝叶斯推理的保证
CreateAMind  ·  公众号  ·  ·  3 月前  · 
贝叶斯推断与频率学派推断在生物模型中的比较:准确性、不确定性与可识别性的对比分析
CreateAMind  ·  公众号  ·  ·  3 月前  ·