SUI、EIGEN、FF等代币下周将迎大额解锁,总价值超2300万美元
Token Unlocks 数据显示,SUI、EIGEN、FF等多款代币将于下周迎来大额解锁。其中,Sui(SUI)将于北京时间8月1日上午8点解锁约1372万枚代币,价值约990万美元;EigenCloud(EIGEN)将于北京时间8月1日中午12点解锁约3682万枚代币,价值约760万美元;Falcon Finance(FF)将于北京时间7月29日晚上9点解锁约1.02亿枚代币,价值约620万美元。大规模解锁通常会对代币流通供应量产生压力,可能引发市场波动,投资者需密切关注。 #SUI #EIGEN #FF #代币解锁 #加密货币 #市场动态 #TokenUnlocks
Token Unlocks 数据显示,SUI、EIGEN、FF等多款代币将于下周迎来大额解锁。其中,Sui(SUI)将于北京时间8月1日上午8点解锁约1372万枚代币,价值约990万美元;EigenCloud(EIGEN)将于北京时间8月1日中午12点解锁约3682万枚代币,价值约760万美元;Falcon Finance(FF)将于北京时间7月29日晚上9点解锁约1.02亿枚代币,价值约620万美元。大规模解锁通常会对代币流通供应量产生压力,可能引发市场波动,投资者需密切关注。 #SUI #EIGEN #FF #代币解锁 #加密货币 #市场动态 #TokenUnlocks
开发者为 OpenCode 构建静态验证器,阻止不安全 AI 工具调用
受 Erik Meijer 关于 AI 工作流形式化验证的论文《Guardians of the Agents》以及 Nada Amin 在 Guardians 仓库中实现的启发,一位开发者构建了 OpenCode 静态安全验证插件。该插件利用 OpenCode 的 TypeScript 插件系统,在候选工具调用(如 bash、read、edit、write)实际执行前进行拦截,并将工具参数发送到本地运行 Python 守护进程进行旁路验证,从而在代码运行层面实现静态安全性检查,有效防止 AI 代理执行危险操作。 #OpenCode #静态验证 #AI安全 #工具调用 #安全验证 #编程 #技术开发 #ShowHN
受 Erik Meijer 关于 AI 工作流形式化验证的论文《Guardians of the Agents》以及 Nada Amin 在 Guardians 仓库中实现的启发,一位开发者构建了 OpenCode 静态安全验证插件。该插件利用 OpenCode 的 TypeScript 插件系统,在候选工具调用(如 bash、read、edit、write)实际执行前进行拦截,并将工具参数发送到本地运行 Python 守护进程进行旁路验证,从而在代码运行层面实现静态安全性检查,有效防止 AI 代理执行危险操作。 #OpenCode #静态验证 #AI安全 #工具调用 #安全验证 #编程 #技术开发 #ShowHN
西门子与英伟达深化合作,推出自验证AI工作流用于芯片设计
西门子宣布扩展与英伟达的战略合作,将自验证的代理式AI工作流引入电子设计自动化(EDA)领域,帮助半导体和PCB工程团队从自主任务编排转向更可信、持续验证的工程成果。新功能基于西门子近期推出的Fuse EDA AI Agent系统,并整合了英伟达AI技术,使长期运行的领域专用AI代理能够针对确定性、基于物理的EDA引擎进行推理、行动并持续验证决策。该系统已集成至西门子新发布的Intelligence Center X企业工业AI环境中,支持在设计、制造和供应链间实现AI驱动的协同流程,增强数字孪生能力。双方表示,通过结合西门子的领域专用工业AI和物理引擎与英伟达的加速计算及开源模型,能够创建可信的自验证工作流,加速开发、提升设计质量,并增强对工程成果的信任。该方案支持多代理安全协调、实时反馈和高效收敛,覆盖半导体与PCB全生命周期。 #西门子 #英伟达 #EDA #AI工作流 #自验证 #半导体 #PCB #工业AI #数字孪生
西门子宣布扩展与英伟达的战略合作,将自验证的代理式AI工作流引入电子设计自动化(EDA)领域,帮助半导体和PCB工程团队从自主任务编排转向更可信、持续验证的工程成果。新功能基于西门子近期推出的Fuse EDA AI Agent系统,并整合了英伟达AI技术,使长期运行的领域专用AI代理能够针对确定性、基于物理的EDA引擎进行推理、行动并持续验证决策。该系统已集成至西门子新发布的Intelligence Center X企业工业AI环境中,支持在设计、制造和供应链间实现AI驱动的协同流程,增强数字孪生能力。双方表示,通过结合西门子的领域专用工业AI和物理引擎与英伟达的加速计算及开源模型,能够创建可信的自验证工作流,加速开发、提升设计质量,并增强对工程成果的信任。该方案支持多代理安全协调、实时反馈和高效收敛,覆盖半导体与PCB全生命周期。 #西门子 #英伟达 #EDA #AI工作流 #自验证 #半导体 #PCB #工业AI #数字孪生
无偏开放世界正则化
研究人员提出了一种名为“无偏开放世界正则化”的方法,用于改进自监督学习中的公平性。该论文由Léonic Nicollier等人提交至arXiv(2026年7月24日),核心思想是通过正则化技术减少模型在训练过程中对敏感属性(如性别、种族)的依赖,从而在开放世界环境下提升模型的泛化能力和公平性。与传统自监督学习方法不同,该方法无需依赖标签数据,而是通过引入无偏的约束条件,使模型学习到的表示更加鲁棒和公平。实验在多个基准数据集上验证了该方法的有效性,结果表明其在保持较高下游任务性能的同时,显著降低了偏见指标。该研究为构建更公平的机器学习系统提供了新的理论视角和实践路径,尤其适用于数据分布复杂、标签稀缺的真实场景。 #机器学习 #自监督学习 #公平性 #正则化 #AI #arXiv #论文 #算法 #无偏学习
研究人员提出了一种名为“无偏开放世界正则化”的方法,用于改进自监督学习中的公平性。该论文由Léonic Nicollier等人提交至arXiv(2026年7月24日),核心思想是通过正则化技术减少模型在训练过程中对敏感属性(如性别、种族)的依赖,从而在开放世界环境下提升模型的泛化能力和公平性。与传统自监督学习方法不同,该方法无需依赖标签数据,而是通过引入无偏的约束条件,使模型学习到的表示更加鲁棒和公平。实验在多个基准数据集上验证了该方法的有效性,结果表明其在保持较高下游任务性能的同时,显著降低了偏见指标。该研究为构建更公平的机器学习系统提供了新的理论视角和实践路径,尤其适用于数据分布复杂、标签稀缺的真实场景。 #机器学习 #自监督学习 #公平性 #正则化 #AI #arXiv #论文 #算法 #无偏学习
TriGlue
近日,研究团队在arXiv上提交了一篇题为《TriGlue: a Biology-Inspired Generative Model for Generating Molecular Glue-Induced Ternary Complex》的论文。该工作提出了一种新型生成模型TriGlue,其核心设计受生物学机制启发,旨在从头生成能够诱导蛋白质间形成三元复合物的分子胶。分子胶是一类能促使两种蛋白质发生相互作用的化学分子,在靶向蛋白降解等前沿药物研发中展现巨大潜力。TriGlue模型通过深度学习技术,有望突破传统筛选方法的局限,高效探索广阔的化学空间,从而加速候选分子胶的发现过程。这一成果将为蛋白质相互作用调控和新型治疗策略的开发提供有力工具。 #分子胶 #生成模型 #AI #药物发现 #蛋白质降解 #生物信息学
近日,研究团队在arXiv上提交了一篇题为《TriGlue: a Biology-Inspired Generative Model for Generating Molecular Glue-Induced Ternary Complex》的论文。该工作提出了一种新型生成模型TriGlue,其核心设计受生物学机制启发,旨在从头生成能够诱导蛋白质间形成三元复合物的分子胶。分子胶是一类能促使两种蛋白质发生相互作用的化学分子,在靶向蛋白降解等前沿药物研发中展现巨大潜力。TriGlue模型通过深度学习技术,有望突破传统筛选方法的局限,高效探索广阔的化学空间,从而加速候选分子胶的发现过程。这一成果将为蛋白质相互作用调控和新型治疗策略的开发提供有力工具。 #分子胶 #生成模型 #AI #药物发现 #蛋白质降解 #生物信息学
CEL
近日,研究团队在 arXiv 上提交了论文《CEL: Comprehensive Counterfactual Explanations Library and Benchmark》。该工作由 Oleksii Furman 等四位作者完成,旨在构建首个系统整合反事实解释方法与标准化评估的综合库与基准。反事实解释是可解释人工智能的关键技术,通过展示如何变更输入特征以改变模型预测结果,帮助理解模型决策逻辑。CEL 集成了多种主流反事实生成算法,并提供统一评估框架,覆盖多类数据集与模型,以促进领域内的可重复性和公平比较。该资源的推出有望填补反事实解释研究中缺乏标准化基准的空白,加速相关算法开发与落地应用。 #反事实解释 #AI可解释性 #机器学习 #基准 #arXiv #CEL #可解释AI #开源工具
近日,研究团队在 arXiv 上提交了论文《CEL: Comprehensive Counterfactual Explanations Library and Benchmark》。该工作由 Oleksii Furman 等四位作者完成,旨在构建首个系统整合反事实解释方法与标准化评估的综合库与基准。反事实解释是可解释人工智能的关键技术,通过展示如何变更输入特征以改变模型预测结果,帮助理解模型决策逻辑。CEL 集成了多种主流反事实生成算法,并提供统一评估框架,覆盖多类数据集与模型,以促进领域内的可重复性和公平比较。该资源的推出有望填补反事实解释研究中缺乏标准化基准的空白,加速相关算法开发与落地应用。 #反事实解释 #AI可解释性 #机器学习 #基准 #arXiv #CEL #可解释AI #开源工具
DCS:面向跨模态版权侵权检测的统一条件敏感性框架
一篇题为《DCS: A Unified Conditional Sensitivity Framework for Cross-Modal Copyright Infringement Detection》的论文被提交至arXiv。该论文由Xiafeng Man等人撰写,提出了一种名为DCS的统一条件敏感性框架,旨在解决跨模态场景下的版权侵权检测问题。随着多模态内容(如图像、文本、音频)的广泛传播,传统版权检测方法难以有效识别跨模态的侵权行为。DCS框架通过引入条件敏感性机制,能够更精确地判断不同模态内容之间的版权关联,有望提升检测的准确性与鲁棒性。该研究对于数字版权保护和内容合规管理具有潜在应用价值。 #论文 #版权侵权 #跨模态 #AI #机器学习 #arXiv #框架 #条件敏感性 #研究 #数字版权
一篇题为《DCS: A Unified Conditional Sensitivity Framework for Cross-Modal Copyright Infringement Detection》的论文被提交至arXiv。该论文由Xiafeng Man等人撰写,提出了一种名为DCS的统一条件敏感性框架,旨在解决跨模态场景下的版权侵权检测问题。随着多模态内容(如图像、文本、音频)的广泛传播,传统版权检测方法难以有效识别跨模态的侵权行为。DCS框架通过引入条件敏感性机制,能够更精确地判断不同模态内容之间的版权关联,有望提升检测的准确性与鲁棒性。该研究对于数字版权保护和内容合规管理具有潜在应用价值。 #论文 #版权侵权 #跨模态 #AI #机器学习 #arXiv #框架 #条件敏感性 #研究 #数字版权
跨域上下文赌博机的离策略评估与学习研究
一篇题为《Cross-Domain Off-Policy Evaluation and Learning for Contextual Bandits》的研究论文近期在arXiv上发布。该研究聚焦于上下文赌博机(Contextual Bandits)框架下的跨域离策略评估与学习问题。在传统离策略评估中,目标策略与行为策略通常来自同一数据分布,而跨域场景下两者存在分布偏移,导致评估偏差。论文提出新的方法,旨在提升在源域数据上训练的模型向目标域泛化时的离策略评估准确性,并进一步优化跨域学习策略。该研究对于推荐系统、个性化医疗等需要跨场景迁移的应用具有潜在价值。 #机器学习 #强化学习 #上下文赌博机 #离策略评估 #跨域学习
一篇题为《Cross-Domain Off-Policy Evaluation and Learning for Contextual Bandits》的研究论文近期在arXiv上发布。该研究聚焦于上下文赌博机(Contextual Bandits)框架下的跨域离策略评估与学习问题。在传统离策略评估中,目标策略与行为策略通常来自同一数据分布,而跨域场景下两者存在分布偏移,导致评估偏差。论文提出新的方法,旨在提升在源域数据上训练的模型向目标域泛化时的离策略评估准确性,并进一步优化跨域学习策略。该研究对于推荐系统、个性化医疗等需要跨场景迁移的应用具有潜在价值。 #机器学习 #强化学习 #上下文赌博机 #离策略评估 #跨域学习
能量流形自然梯度下降法
一篇题为《Energy Manifold Natural Gradient Descent: Riemannian Optimization for Neural PDE Solvers》的论文近日在arXiv上发布,作者为Zhangyong Liang等人。该研究提出了一种名为能量流形自然梯度下降的创新方法,将黎曼几何优化框架引入神经网络求解偏微分方程(PDE)的任务中。传统优化方法在处理能量流形时常面临收敛缓慢的问题,而该方法通过自然梯度在流形上的应用,显著提升了训练效率与求解精度。这一工作为神经PDE求解器提供了新的理论工具,有望推动计算物理及科学机器学习领域的进一步发展。 #神经网络 #偏微分方程 #黎曼优化 #能量流形 #科学计算 #arXiv
一篇题为《Energy Manifold Natural Gradient Descent: Riemannian Optimization for Neural PDE Solvers》的论文近日在arXiv上发布,作者为Zhangyong Liang等人。该研究提出了一种名为能量流形自然梯度下降的创新方法,将黎曼几何优化框架引入神经网络求解偏微分方程(PDE)的任务中。传统优化方法在处理能量流形时常面临收敛缓慢的问题,而该方法通过自然梯度在流形上的应用,显著提升了训练效率与求解精度。这一工作为神经PDE求解器提供了新的理论工具,有望推动计算物理及科学机器学习领域的进一步发展。 #神经网络 #偏微分方程 #黎曼优化 #能量流形 #科学计算 #arXiv
从扰动修正到几何感知采样:锐度引导的均衡采样实现长尾学习中的平坦极小值
一篇新论文《From Perturbation Correction to Geometry-Aware Sampling: Sharpness-Guided Equilibrium Sampling for Balanced Flat Minima in Long-Tailed Learning》由 Jiaxin Deng 等人提交至 arXiv。该研究针对长尾学习中类别不平衡导致的模型泛化问题,提出了一种锐度引导的均衡采样方法。通过结合扰动修正与几何感知采样,该方法能够引导模型收敛到更平坦的极小值,从而提升对尾部类别的泛化性能。实验表明,该方法在多个长尾基准数据集上取得了显著改进,为处理数据不平衡问题提供了新思路。 #长尾学习 #机器学习 #深度不均衡 #锐度感知 #均衡采样 #论文 #AI #计算机视觉
一篇新论文《From Perturbation Correction to Geometry-Aware Sampling: Sharpness-Guided Equilibrium Sampling for Balanced Flat Minima in Long-Tailed Learning》由 Jiaxin Deng 等人提交至 arXiv。该研究针对长尾学习中类别不平衡导致的模型泛化问题,提出了一种锐度引导的均衡采样方法。通过结合扰动修正与几何感知采样,该方法能够引导模型收敛到更平坦的极小值,从而提升对尾部类别的泛化性能。实验表明,该方法在多个长尾基准数据集上取得了显著改进,为处理数据不平衡问题提供了新思路。 #长尾学习 #机器学习 #深度不均衡 #锐度感知 #均衡采样 #论文 #AI #计算机视觉
随机低秩适配的收敛性研究
一篇题为《On the Convergence of Stochastic Low-Rank Adaptation》的学术论文于2026年7月24日提交至arXiv预印本平台。该论文由Ru Wang等三位作者共同完成,主要从理论角度探讨了随机低秩适配(LoRA)方法的收敛性质。低秩适配是目前大模型微调中广泛采用的高效技术,通过引入低秩矩阵来减少可训练参数。该研究为LoRA的随机优化过程提供了收敛性分析,有助于理解其在实践中为何能有效工作,并为后续算法改进奠定理论基础。论文现已在arXiv开放获取,并提供PDF及HTML版本供研究者查阅。 #arXiv #LoRA #机器学习 #深度学习 #AI #论文 #微调 #收敛性
一篇题为《On the Convergence of Stochastic Low-Rank Adaptation》的学术论文于2026年7月24日提交至arXiv预印本平台。该论文由Ru Wang等三位作者共同完成,主要从理论角度探讨了随机低秩适配(LoRA)方法的收敛性质。低秩适配是目前大模型微调中广泛采用的高效技术,通过引入低秩矩阵来减少可训练参数。该研究为LoRA的随机优化过程提供了收敛性分析,有助于理解其在实践中为何能有效工作,并为后续算法改进奠定理论基础。论文现已在arXiv开放获取,并提供PDF及HTML版本供研究者查阅。 #arXiv #LoRA #机器学习 #深度学习 #AI #论文 #微调 #收敛性