小红花·文摘
  • 首页
  • AI Tokens🪙
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI
沉浸式翻译 immersive translate
保持AI精简,确保AI正确

Lean语言创始人Leo de Moura讨论如何用Lean证明AI代理的正确性,结合自动推理与概率模型,并利用AI持续优化代码。Lean作为函数式编程语言和证明助手,可在同一系统中验证程序数学正确性。

保持AI精简,确保AI正确

Stack Overflow Blog Stack Overflow Blog · 2026-08-28T07:40:00Z
人工智能论文评审:使用非平衡热力学的深度无监督学习

扩散模型推动了现代生成AI的发展,能够生成逼真的图像、视频和语音。2015年,Jascha Sohl-Dickstein等提出了一种通过逐步添加噪声来破坏数据并学习逆过程重建数据的新方法。这一思路解决了生成模型中的复杂性与可计算性之间的权衡,奠定了扩散概率模型的数学基础。该模型在多个数据集上表现出色,展示了在图像去噪和修复等实际应用中的潜力。

人工智能论文评审:使用非平衡热力学的深度无监督学习

freeCodeCamp.org freeCodeCamp.org · 2026-07-15T15:23:43Z
机器学习中的不确定性:概率与噪声

机器学习中的不确定性源于模型对现实世界的知识缺乏,主要分为不可减少的随机不确定性和可减少的知识不确定性。管理不确定性的方法包括概率模型、集成方法和数据清理。理解不确定性有助于构建更可靠的模型。

机器学习中的不确定性:概率与噪声

MachineLearningMastery.com MachineLearningMastery.com · 2026-01-14T11:00:48Z
【AI入门课程系列】4、AI 的耳朵在哪里?—— 语音识别

AI 的语音识别通过三个步骤实现:将声音转为数字、拆分音素、利用概率模型推测含义。AI 通过麦克风捕捉声波,算法解析音频,从而理解人类语言。

【AI入门课程系列】4、AI 的耳朵在哪里?—— 语音识别

分享AI芯片开发经验 分享AI芯片开发经验 · 2025-09-19T08:31:45Z
光滑数与最大熵

给定阈值,-光滑数是所有质因子不超过该阈值的自然数。研究表明,-光滑数的数量与某些函数相关,其渐近行为复杂。通过最大熵原理,可以建立-光滑数的概率模型,揭示质因子的分布特征。

光滑数与最大熵

What's new by TerryTao What's new by TerryTao · 2025-09-15T17:13:47Z
DiffusionEdge:用于清晰边缘检测的扩散概率模型

本文介绍了Yunfan Ye等人提出的DiffusionEdge方法,该方法通过在傅里叶变换中引入可学习滤波器并省略某些组件,提高了自然图像边缘检测的反向传播效率。这是首次将扩散模型应用于边缘检测,损失函数根据边缘概率自适应计算,强调了省略数学操作在工程中的重要性。

DiffusionEdge:用于清晰边缘检测的扩散概率模型

DEV Community DEV Community · 2025-05-13T00:18:18Z

本研究提出了一种新颖的概率模型,结合基线特征与中间随访数据,动态预测临床结果。该模型在脑癌数据集上优于现有方法,有效控制维度增长,减少对中间数据的依赖。

Probabilistic Methods for Longitudinal Response Prediction: Application to Radiomics in Brain Cancer

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-05-12T00:00:00Z

本研究提出了一种基于目标条件的概率模型预测控制(GC-PMPC)方法,旨在解决多目标灵巧手操控的学习挑战。通过概率神经网络描述手动力学,并引入异步MPC策略,GC-PMPC在四个模拟场景中表现优于现有基准,展现出卓越的学习效率和控制性能。

基于概率模型的强化学习实现多目标灵巧手操控

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-04-30T00:00:00Z
敏捷预测:利用蒙特卡洛模拟和流量指标提升可预测性

在敏捷与瀑布方法的对抗中,敏捷团队面临项目时间预测的挑战。传统的确定性预测方法不适应现代软件开发的变化。敏捷预测结合历史数据和概率模型,利用流量指标和蒙特卡洛模拟,帮助团队在灵活性与可预测性之间取得平衡,提高交付准确性和风险管理能力。

敏捷预测:利用蒙特卡洛模拟和流量指标提升可预测性

DEV Community DEV Community · 2025-02-11T20:46:24Z

本研究探讨了大语言模型(LLM)级联系统中的错误率复杂性,提出了一种概率模型以预测LLM序列性能。该方法通过优化置信度阈值,提高了运行效率和适应性,尤其在级联长度增加时,展示了成本-错误曲线的提升潜力。

Rational Tuning of LLM Cascades via Probabilistic Modeling

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-01-16T00:00:00Z

本研究针对超声图像中轮廓模糊和伪影形成问题,提出了一种基于轮廓的概率分割模型CP-UNet,旨在增强分割网络在解码过程中的轮廓聚焦。实验结果表明,该方法在乳腺和甲状腺病变的分割性能上优于多种先进的深度学习分割方法。

CP-UNet:基于轮廓的医学超声图像分割概率模型

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-11-21T00:00:00Z

本研究探讨流匹配(FM)与扩散概率模型(DPMs)在无训练条件生成中的关系,提出两种后验采样方法,实验结果优于现有技术。

揭示流匹配与无训练条件生成中的扩散概率模型之间的联系

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-11-12T00:00:00Z

本文探讨了多种基于神经网络的概率模型和方法,旨在提高推理性能和不确定性估计。研究包括神经粒子平滑法、噪声感知训练、选择性标签平滑和校准感知贝叶斯神经网络等,均在序列识别和翻译任务中取得了先进效果,并提供了开源代码和数据支持。

基于蒙特卡洛框架的序列预测中经过校准的不确定性估计

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-10-30T00:00:00Z

本文介绍了多种基于深度学习的道路裂缝检测算法,如无监督逐像素检测网络UP-CrackNet和CrackNex框架,旨在提高检测精度和效率。这些方法在复杂背景和低光照条件下表现优异,具有广泛的应用潜力。

CrackSegDiff:基于扩散概率模型的多模态裂缝分割

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-10-10T00:00:00Z

本研究针对现有扩散模型收敛理论中严格假设和次优收敛速度的问题,提出了一种新的快速收敛理论。通过确保$\ell_{2}$-准确的评分函数估计,该理论表明目标分布与生成分布之间的总变差距离上界为$O(d/T)$,对任何具有有限一阶矩的目标分布均适用,显著改进了现有的SDE和ODE模型收敛理论。

在最小假设下扩散概率模型的$O(d/T)$收敛理论

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-09-27T00:00:00Z

本文介绍了一个基于汽车激光雷达的大型数据集,旨在推动激光语义分割研究。作者提出了三项基准任务,展示了需要更复杂模型来处理这些任务。该数据集为新方法开发和研究方向提供了丰富的数据,促进了语义场景补全技术的进步。

DiffSSC:使用去噪扩散概率模型进行语义LiDAR扫描完整性填充

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-09-26T00:00:00Z

本文介绍了一种基于核的判别式学习框架,利用再生核希尔伯特空间对概率分布进行嵌入,扩展了支持向量机等核方法的应用。研究涉及机器学习中的优化方法、概率模型及其在深度学习中的应用,并提供了理论保证和未来研究方向的讨论。

机器学习导论

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-09-04T00:00:00Z

本文介绍了一种统一的概率模型,通过变分自编码器(VAE)和神经网络回归器实现对MR图像年龄的精确预测,揭示人脑结构发育规律。研究提出了Brain-Diffuser和HDAE等新方法,显著提高了大脑网络生成的准确性,推动了神经影像学分析和疾病诊断的发展,为多模态大脑影像数据处理提供了新方案。

去耦扩散自编码器用于多站点神经影像数据的协调

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-08-28T00:00:00Z

本文介绍了一种新型去噪扩散概率模型(DDPMs),用于生成合成超声图像,作为医学影像分析的训练数据替代品。该方法在图像质量和生成速度上优于传统技术,具有广泛的应用潜力。

使用扩散概率模型去噪平面波超声图像

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-08-20T00:00:00Z

该研究提出了一种新型分子生成模型,结合概率模型和几何学,提升了分子构象生成的准确性。通过3D几何结构预训练和语言模型,提出了3D-MoLM和3D-MolT5框架,优化了分子属性预测和生成任务,展示了在生物分子领域的应用前景。

基于几何信息的分子标记化用于语言模型生成

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2024-08-19T00:00:00Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 1tok 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator 模力方舟 Gitee AI

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码