University of Edinburgh（爱丁堡大学）

2608.06283 2026-08-07 cs.LG math.OC math.PR stat.ML 新提交

The Tamed Subgradient Unadjusted Langevin Algorithm beyond Convexity

超越凸性的驯服次梯度未校正朗之万算法

Iosif Lytras, Nikolaos Makras, Sotirios Sabanis

机构 * University of Edinburgh（爱丁堡大学）； National Technical University of Athens（雅典国立技术大学）； Athena/Archimedes Research Centre（雅典娜/阿基米德研究中心）

AI总结本文针对非光滑、超线性梯度增长且非凸的目标分布采样问题，提出SG-TULA算法，推导其非渐近收敛界，验证假设并用于GPT-2系列LLM预训练，效果优于AdamW等。

Comments 53 pages

2608.06139 2026-08-07 cs.SD physics.comp-ph 新提交

Explicit and Stable Pseudospectral Time-Domain Method for the Föppl-von Kármán Equations

用于冯·卡门（Föppl-von Kármán）方程的显式稳定伪谱时域方法

Victor Zheleznov, Stefan Bilbao

机构 * University of Edinburgh（爱丁堡大学）； IRCAM（法国声学/音乐研究与协作学院）； CNRS（法国国家科学研究中心）； Sorbonne Université（索邦大学）

AI总结本研究针对冯·卡门方程，提出一种在空间域计算乘积项、模态域计算导数的伪谱方法，结合标量辅助变量技术实现显式稳定时间积分，降低了模态合成的计算成本并保留其频率控制优势。

Comments To be presented at Forum Acusticum 2026, Graz, Austria, September 2026

2510.14538 2026-08-07 cs.AI cs.LG 版本更新

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts

神经符号AI中的符号接地：推理快捷方式的入门介绍

Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Paolo Morettin, Elena Umili, Antonio Vergari, Efthymia Tsamoura, Andrea Passerini, Stefano Teso

机构 * University of Trento（特伦托大学）； Vrije Universiteit Amsterdam（阿姆斯特丹自由大学）； Sapienza University of Rome（罗马大学）； University of Edinburgh（爱丁堡大学）； Huawei Labs（华为实验室）

AI总结本文探讨神经符号AI中推理快捷方式的问题，分析其成因与影响，并提供解决方法与策略，以提升模型的可靠性和可信度。

Comments Published on JAIR (Integration of Logical Constraints in Deep Learning special track)