面向神经网络验证的前瞻引理学习

一篇题为《Learning Lookahead Lemmas for Neural Network Verification》的学术论文近日在arXiv平台发布，作者为Liam Davis等人。该研究聚焦于神经网络验证领域，提出通过学习前瞻引理来提升验证过程的效率与可扩展性。论文已通过DataCite注册DOI，提供PDF、HTML及TeX源码等多种访问方式，并附有相关代码与数据资源。这项工作关注形式化验证与机器学习的交叉方向，对提升人工智能系统的安全性与可验证性具有潜在参考价值。 #AI #神经网络 #形式化验证 #学术论文 #arXiv #机器学习 #安全

DFSC：用于分数阶科学机器学习的误差控制可微Mittag

近日，一篇题为“DFSC: Error-Controlled Differentiable Mittag-Leffler Propagation for Fractional Scientific Machine Learning”的研究论文在arXiv平台提交。该论文由Ning Hu等四位作者完成，提出了一种面向分数阶科学机器学习的新方法。论文核心在于引入可微的Mittag-Leffler传播机制，并实现误差控制，以提升模型在分数阶动力学系统中的学习能力与数值稳定性。研究展示了在复杂科学计算场景下，该方法相比传统整数阶传播策略具有更好的适应性和精度。目前论文已提供PDF、HTML及TeX源码等多种访问形式，并可通过相关工具进行引用与检索。 #科研 #机器学习 #分数阶 #MittagLeffler #arXiv #论文 #AI #科学计算

动力学感知方法可从稀疏噪声数据中识别控制方程

一篇题为《Dynamics-aware identification of governing equations from sparse and noisy data》的论文近日在arXiv上提交，作者为Pongpisit Thanasutives与Yoshinobu Kawahara。该研究聚焦于从稀疏且含噪的观测数据中自动识别系统控制方程的问题，属于科学机器学习与动力系统建模的前沿方向。传统符号回归或稀疏识别方法在数据质量不佳时容易失效，而该方法引入动力学感知机制，旨在提升对噪声和缺失信息的鲁棒性，从而更可靠地重构潜在物理规律。论文已提供PDF及HTML全文，并附带参考文献和代码关联工具。 #科研 #AI #动力学 #控制方程 #稀疏数据 #arXiv #机器学习

Telegram必备的搜索引擎，极搜JISOU帮你精准找到，想要的群组、频道、视频、音乐

👉 t.me/jisou2?start=a_8247614025

SILVA网络：通过动态交互场实现结构化隐式层与向量吸引子

据arXiv预印本平台信息，一篇题为"SILVA Networks as Structured Implicit Layers and Vector Attractors via Dynamic Interaction Fields"的论文于2026年7月31日提交，作者为Jose Luis Lima de Jesus Silva。该论文提出了一种名为SILVA网络的新型架构，将网络建模为结构化隐式层，并引入向量吸引子概念，通过动态交互场驱动学习过程。这一研究方向可能对深度学习中的隐层表示和动力学系统有重要影响。目前论文以PDF格式提供。 #SILVA #神经网络 #隐式层 #向量吸引子 #动态交互场 #arXiv #机器学习

超越特征与结构对齐

该论文针对图基础模型领域中普遍存在的特征与结构对齐局限性，提出了一种新的学习范式，旨在捕获可迁移的传播知识。传统方法往往局限于特定图结构或特征空间，而该研究通过引入跨图传播机制，使得模型能够学习到更通用的图表示，从而在不同图数据集之间实现知识迁移。实验表明，该方法在多个下游任务中显著提升了泛化性能，为构建更鲁棒的图基础模型提供了新思路。论文已提交至arXiv平台，并提供了PDF及HTML版本供查阅。 #图基础模型 #知识迁移 #传播学习 #特征对齐 #结构对齐 #图神经网络 #AI研究

高效对抗训练新方法

近日，一篇arXiv预印本论文提出了一种针对大语言模型（LLM）的高效对抗训练方法。该方法通过引入低秩防御机制和电路引导的替代模型，在保持模型鲁棒性的同时显著降低了训练成本。传统对抗训练通常需要大量计算资源，而新方法利用低秩矩阵分解减少参数更新量，并借助电路级分析定位模型脆弱点，从而生成更精准的对抗样本。实验表明，该方法在多个基准测试中达到了与全参数对抗训练相当的防御效果，但训练效率提升数倍。这一研究为LLM的安全部署提供了实用方案，尤其适用于资源受限场景。 #LLM #对抗训练 #低秩防御 #电路引导 #人工智能 #安全 #论文 #arXiv

挖掘神经网络验证中的判定边界新方法

一项题为“Mining Verdict Boundaries for Neural Network Verification”的研究论文正式发布，并被收录于形式化方法领域顶级会议FM 2026的论文集。该论文由Jiawei Ren等人撰写，主要关注神经网络验证中的关键问题：如何有效区分满足与违反安全属性的判定边界。研究提出了一种挖掘判定边界的方法，旨在提升神经网络验证的可扩展性与精确度。随着神经网络在安全关键系统中的广泛应用，严格验证其行为变得至关重要，但传统验证方法往往面临状态空间爆炸或过度近似等挑战。该工作通过从验证过程中提取边界信息，有望为复杂网络的鲁棒性分析提供更高效的途径。论文已在arXiv平台公开，并提供PDF及HTML版本供研究人员查阅。 #神经网络 #形式化验证 #安全关键系统 #FM2026 #人工智能 #科技论文

利用异构编辑重组克服LLM驱动的程序优化中的“最弱链路”效应

arXiv上的一篇预印本论文提出了一种新方法，旨在解决大语言模型（LLM）在程序优化任务中面临的“最弱链路”效应。该效应指LLM生成的多个优化编辑中，若存在一个错误或低效的编辑，会拖累整体优化效果。研究团队通过引入“异构编辑重组”策略，将LLM生成的不同类型编辑（如性能优化、代码简化、错误修复等）进行智能组合与筛选，从而绕过单一编辑链的短板。实验表明，该方法在多个基准测试上显著提升了代码的运行效率和正确性，为LLM在自动化编程优化领域的应用提供了新思路。 #LLM #程序优化 #最弱链路效应 #异构编辑重组 #arXiv #人工智能 #代码优化

基于Shapley值的特征归因方法用于数据掩码

近日，一篇题为《基于Shapley值的特征归因用于数据掩码》的论文在arXiv预印本平台发布。该研究由Xinxue（Shawn）Qu等人完成，提出利用博弈论中的Shapley值对特征重要性进行归因，并应用于数据掩码（即数据脱敏/隐私保护）场景。传统数据掩码方法往往缺乏对特征重要性的量化评估，可能导致关键信息泄露或过度遮蔽。该工作通过计算每个特征对模型预测的边际贡献，实现更精准、可解释的数据遮蔽策略，在保护隐私的同时尽量保留数据的可用性。论文有望为隐私保护机器学习、数据安全领域提供新思路。 #Shapley值 #特征归因 #数据掩码 #隐私保护 #机器学习 #arXiv #论文

FairDiffuseVQVAE：通过向量量化潜变量条件细化实现表格扩散中的采样时公平

该研究论文由Nitish Nagesh等三位作者提交至arXiv，提出了一种名为FairDiffuseVQVAE的新方法，旨在解决表格数据生成中的公平性问题。传统扩散模型在生成表格数据时可能延续训练数据中的偏见，而该工作将公平性控制引入采样阶段，通过对向量量化潜变量进行条件细化，使得生成结果在敏感属性上满足统计公平约束。该方法避免了重新训练模型的额外成本，在推理时即可动态调整输出，为表格数据合成提供了一种灵活的公平性增强方案。 #论文 #arXiv #AI #公平性 #表格数据 #扩散模型 #机器学习

潜在李-泊松神经网络（LLPNNs）：通过可观测数据和潜在动力学发现李

研究人员提出了一种名为潜在李-泊松神经网络（LLPNN）的新方法，旨在从观测数据中学习李-泊松系统的运动规律。该方法结合了潜在动力学与物理约束，能够有效捕捉复杂力学系统的结构特征，并实现对系统行为的准确预测与重建。论文由Vakhtang Putkaradze撰写，于2026年7月提交至arXiv预印本平台。LLPNNs为经典力学系统的数据驱动建模提供了新工具，有望在物理仿真、控制工程和科学计算等领域发挥重要作用。 #LLPNN #李泊松系统 #神经网络 #物理约束 #数据驱动 #arXiv #论文 #科学计算

异构多视图数据谱联合子空间估计

近日，arXiv上发布了一篇题为《Spectral Joint Subspace Estimation for Heterogeneous Multi-View Data: Geometry and Reweighting》的研究论文。该论文由Jingyang Li和Zhongyuan Lyu撰写，聚焦于异构多视图数据的联合子空间估计问题，提出了一种融合几何信息与重加权策略的谱方法。传统方法在处理来自不同来源、具有不同特征分布的多视图数据时，往往难以有效捕捉各视图间的共享结构。该研究通过引入几何先验，并设计自适应重加权机制，提升了子空间估计的鲁棒性和准确性。实验表明，新方法在多种异构数据场景下均优于现有基线，为多模态数据融合、跨视图学习等任务提供了新的理论工具。该论文已通过arXiv平台公开，并附有完整PDF及代码链接。 #机器学习 #多视图数据 #子空间估计 #谱方法 #几何重加权 #arXiv论文 #数据融合

强化顺序蒙特卡洛方法用于摊销采样研究发布

该预印本论文题为《Reinforced sequential Monte Carlo for amortised sampling》，由Sanghyeok Choi等五位研究者合作完成，于2025年10月首次提交至arXiv，后经两次修订。论文探讨了将强化学习与顺序蒙特卡洛方法相结合，以改进摊销采样（amortised sampling）的效率与稳定性。顺序蒙特卡洛是一类用于复杂概率分布推断的经典方法，而摊销采样则通过机器学习模型实现可复用的快速推断。该研究有望为概率编程、贝叶斯推断和生成模型等领域提供新的技术路径。 #机器学习 #贝叶斯推断 #arXiv #学术论文 #强化学习 #蒙特卡洛 #采样方法

协同方差估计与贝叶斯神经网络

一篇发表于arXiv的研究论文提出了一种结合协同方差估计与贝叶斯神经网络的框架，旨在有效分离机器学习模型中的偶然不确定性（由数据噪声引起）与认知不确定性（由模型参数不确定性引起）。该工作由Jiaxiang Yi和Miguel A. Bessa完成，论文历经多次版本更新，显示出研究的持续完善。该方法通过贝叶斯推理量化模型信念，并利用协同方差估计技术刻画数据固有噪声，为提升模型在安全关键领域（如自动驾驶、医疗诊断）中的可靠性提供了新思路。 #贝叶斯神经网络 #不确定性量化 #协同方差 #机器学习 #AI #论文 #arXiv #偶然不确定性 #认知不确定性

图书数据库公司ISBNdb撤回“纸质书供AI训练”服务，称为市场测试

据科技媒体404 Media报道，图书数据库公司ISBNdb此前宣称将采购纸质书籍并转售给人工智能公司用于训练AI模型。报道发布后，该公司删除了网站上提供相关服务的页面，并收回此前说法。7月30日，即报道刊发9天后，ISBNdb在首页及新闻页发布声明回应，称该页面只是“市场兴趣测试”，从未真正实施；公司从未购买、扫描或出售任何书籍，也从未训练AI模型。声明强调，其业务

新论文将数据漂移融入生存分析用于信用风险评估

近日，来自柏林洪堡大学的研究人员发表了一篇论文，创新性地将数据漂移（Data Drift）引入生存分析模型，用于信用风险评估。传统生存分析模型通常假设数据分布稳定，但实际金融数据常随时间变化（即数据漂移），导致模型失效。该研究提出了一种新方法，在生存分析中显式建模数据漂移，从而提升信用风险预测的鲁棒性和准确性。论文已在arXiv预印本平台发布，为金融风控领域提供了新的技术思路，有望帮助金融机构更精准地识别信贷风险，应对动态市场环境。 #数据漂移 #生存分析 #信用风险 #金融风控 #机器学习 #论文 #arXiv

可证明的扩散后验采样用于贝叶斯反演

一项题为“Provable Diffusion Posterior Sampling for Bayesian Inversion”的研究在arXiv平台发布，作者为Jinyuan Chang等六人。该研究聚焦贝叶斯反演中的后验采样问题，提出了一种基于扩散模型的可证明采样方法，为不确定性量化提供了新的理论工具。贝叶斯反演在图像重建、地球物理、医学成像等领域应用广泛，扩散模型在生成建模上的进展为这类逆问题求解带来了新思路。论文初版于2025年12月提交，最新修订于2026年7月完成，并已公开完整文献与引用信息。 #arXiv #扩散模型 #贝叶斯反演 #后验采样 #机器学习 #概率推断 #AI #学术研究

非参数部分解缠新方法：通过机制稀疏性实现稀疏动作、干预与时间依赖

近日，一篇发表于《Journal of Machine Learning Research》的论文提出了一种基于机制稀疏性的非参数部分解缠方法。该方法通过引入稀疏动作、稀疏干预以及稀疏时间依赖，有效解决了复杂系统中变量解缠的难题。与传统方法相比，该技术无需预设参数化模型，能够在保持数据生成机制可解释性的同时，实现部分潜在因子的分离。研究团队通过理论分析与实验验证，展示了该方法在因果发现、强化学习及时间序列分析等领域的应用潜力，为处理高维非线性系统中的解缠问题提供了新思路。 #机器学习 #解缠表示 #机制稀疏性 #因果推断 #非参数方法 #JMLR #AI研究

POSSE-kNN

一篇题为《POSSE-kNN: Pathwise Out-of-Bag Selected Subspace Ensembles for Binary Classification》的论文于2022年11月提交至arXiv预印本平台，随后在2024年2月更新。该研究由Zardad Khan等学者提出，针对二分类问题设计了一种新型集成学习框架。该方法通过路径方向（Pathwise）的袋外（Out-of-Bag）样本选择子空间，并结合k近邻算法（kNN）构建集成模型，旨在提升分类准确性与鲁棒性。论文详细阐述了算法原理、理论分析及实验验证，为机器学习领域的分类任务提供了新的技术思路。 #机器学习 #二分类 #集成学习 #kNN #论文 #arXiv

Telegram必备的搜索引擎，极搜JISOU帮你精准找到，想要的群组、频道、视频、音乐

👉 t.me/jisou2?start=a_8247614025