PulseAugur
中
实时 11:58:59
实体 Wasserstein-1 metric

Wasserstein-1 metric

PulseAugur coverage of Wasserstein-1 metric — every cluster mentioning Wasserstein-1 metric across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_139570 ·

    AI辅助的Vlasov方程形式化已在arXiv上发表

    研究人员使用一个由数学家在Lean 4证明助手指导下的AI系统，正式化了Vlasov方程的均场推导。这个过程被构建为一个策略游戏，涉及将LaTeX文档转换为可验证的Lean代码，AI在人类指导下执行任务。该形式化成功认证了非线性Vlasov方程的存在性、唯一性和稳定性估计，其中最优传输机制被开发为一个可重用组件，与Mathlib兼容。