ai methods | BriefGPT - AI 论文速递

关键词ai methods

搜索结果 - 14

使用实例化和策略创新解决困难的 Mizar 问题
本文使用数种 ATP 和 AI 方法证明了 3000 多个以前未证实的 Mizar/MPTP 问题，并将 ATP 解决的 Mizar 问题的数量从 75％提高到 80％以上。我们首先尝试了 cvc5 SMT 求解器，并使用了几个和超级位置系
PDF11 days ago
IJCAI水配水网络人工智能研究支持工具箱
饮用水是人类的重要资源，水配送网络是现代社会中被视为关键基础设施的一部分。该研究介绍了一个 Python 工具箱，用于复杂情景建模和生成，以便 AI 研究者可以轻松获取饮用水领域的具有挑战性的问题。该工具箱不仅提供了高级界面，用于便捷生成水
PDFa month ago
ICMLRNAFlow: 通过逆向折叠流匹配的 RNA 结构和序列设计
RNAFlow 是一种基于流动匹配模型的蛋白质条件下的 RNA 序列结构设计方法，通过集成 RNA 逆折叠模型和预训练的 RosettaFold2NA 网络生成 RNA 序列和结构，利用条件化的结构去噪网络简化了训练过程，并通过推断的构象集
PDFa month ago
对不公平动态定价的公正激励
利用动态定价和人工智能方法来解决需求公平和税收再分配政策的问题，并通过模拟经济的实验验证了这种介入策略的潜在效果。
PDF2 months ago
评估医疗分类模型的属性和原型的可解释性
基于 Proto-Caps 模型的 AI 方法和 xAI 解决方案提供了可理解的多模态解释，对放射科医师的决策过程有帮助，但需要进一步开发和重复用户研究以适应相应的用例。
PDF3 months ago
基于法律分析的高级出租车分配策略优化
近年来，出现了许多促进协作方式提供服务和活动的新应用。尤其在城市交通领域，许多研究人员提出并通过 AI 方法与工具实现和评估新颖的想法。然而，这些提议也引出了多个非技术问题，需要充分识别和妥善解决，如果这些系统真正应用于现实世界。本文从一种
PDF5 months ago
用于肺部病变特征探索和恶性预测的变分自编码器
应用生成型 AI 模型 VAEs 对肺癌病灶进行研究，通过聚类分析和 MLP 分类器模型，在肺癌诊断方面取得了 AUC 0.98 和 93.1% 的准确度，同时探索标准高斯 VAE 和较新的狄利克雷 VAE 的比较分析，最后展示了潜在空间遍
PDF7 months ago
MechAgents：大型语言模型多智能体协同解决机械问题、生成新数据和整合知识
利用多语言模型的多种能力，我们可以克服传统方法的限制，开发出一种新的受物理启发的生成式机器学习平台，称为 MechAgents，通过自主协作解决力学问题。我们的框架展示了语言模型的智能、基于物理的建模的可靠性以及多样化代理之间的协同合作的潜
PDF8 months ago
响应项目建议书的开放数据驱动团队推荐，促进研究合作
利用各种人工智能方法建议团队、评估团队质量并验证用户满意度，用以推荐和匹配研究机构与研究人员之间的合作机会。
PDF10 months ago
通过 AI 技术提升心血管风险预测的钙组学研究
冠状动脉钙化的 AI 分析可以改善 Agatston 评分，显示了钙组学在风险预测中的有效性。
PDF10 months ago
手中一只 CBR 胜过两只丛中鸟
本研究探讨了使用 XGBoost 回归方法进行航班起飞延误预测问题，通过建立一个 XGB-CBR 模型，将 XGBoost 模型的特征重要性转换为 CBR 模型中的全局权重来提供全球性的解释，并提供最具可解释性的本地解释，以提供该问题背景下
PDFa year ago
具有分步公平约束的强化学习
介绍了在社会重要领域中使用人工智能算法进行算法决策的公平性问题，并介绍了强调每个时间步骤群体公平性的强化学习框架和学习算法。
PDF2 years ago
深度学习在科学发现中的应用
本文讨论深度神经网络的透明度带来的批判性和认识论挑战，并探讨了 AI 在科学中的作用，阐明了深度学习在发现过程中的重要作用，并结合两个科学案例阐释了 AI 在引领科学界取得重大和可证明突破方面的作用。
PDF2 years ago
学生诊断推理自动分析的挑战
本文旨在自动化模拟诊断的认知活动以便为学生提供反馈，同时讨论了自动化识别认知活动所面临的三个挑战，并提出了各自的性能度量标准。此外，根据提供的诊断自述语料库的检测，作者评估了几种 RNN 神经网络架构，证明目前的技术无法解决一些挑战。
PDF6 years ago