SoK: Market Microstructure for Decentralized Prediction Markets (DePMs)
SoK:去中心化预测市场(DePMs)的市场微观结构
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文通过回顾去中心化预测市场(DePMs)的历史和设计,分析了其模块化工作流程及各模块的设计变体,探讨了去中心化、表达性和抗操纵之间的权衡,并指出了研究中的开放问题。
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
SoK:去中心化预测市场(DePMs)的市场微观结构
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文通过回顾去中心化预测市场(DePMs)的历史和设计,分析了其模块化工作流程及各模块的设计变体,探讨了去中心化、表达性和抗操纵之间的权衡,并指出了研究中的开放问题。
具有线性时态规范的程序的最弱前置条件规则
专题命中 工作流自动化 :workflow(abstract)
AI总结 研究如何将软件模块集成中时态逻辑需求考虑进去,针对现有工具不足,提出一种简单通用能集成到现有验证条件生成器的解决方案来处理结构化程序与时态逻辑集成问题。
Comments Accepted at ISoLA 2026 - SpecifyThis
用于稀疏指数跟踪的低换手率再平衡
专题命中 工作流自动化 :workflow(abstract)
AI总结 研究针对稀疏指数跟踪中滚动重建存在的高换手率问题,提出将构建与维护分开的新工作流程,采用混合框架及自融资变量$\Delta w$,在标准普尔500风格案例中实现低换手率跟踪,且维护层可用于外部跟踪器改进。
Comments Rewritten in the language of generalised Bayesian inference and with the main focus on rebalancing and turnover. New case study and protocol
揭开大语言模型供应链在实际应用中的漏洞:分布、根源及现实世界影响
专题命中 工作流自动化 :workflow(abstract)
AI总结 该研究首次系统大规模实证分析大语言模型供应链漏洞,分析529个实际漏洞,发现漏洞集中在应用层等,特定漏洞源于独特特征,还研究了现实影响,提炼5条见解,为保障供应链安全提供数据基础与研究方向。
Comments Accepted by Internetware 2026
基于DAG的QoS感知动态任务放置用于网络化多阶段控制流水线
机构 * Deakin University, Australia(德坎大学,澳大利亚) ; RMIT University, Vietnam(皇家墨尔本理工大学,越南) ; University of Navarra, Spain(纳瓦拉大学,西班牙) ; Swinburne University of Technology, Australia(斯威本科技大学,澳大利亚)
专题命中 工作流自动化 :planning(abstract)
AI总结 本文提出一种基于DAG的QoS感知动态任务放置框架,用于网络化机器人中的感知-感知-规划-控制流水线,通过动态任务放置优化计算、通信延迟和任务放置集,解决传统静态边缘卸载和单阶段模型的不足。
Comments 5 pages, 1 figure, 1 table, 1 algorithm, accepted paper on the 24th IEEE International Conference on Industrial Informatics (INDIN), 26-29 July, 2026, Melbourne, Australia
面向区域急救医疗系统的现实离散事件仿真模型
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文提出一个离散事件仿真模型,用于分析救护车部署策略,通过整合多源信息,提高区域急救医疗系统的响应效率和决策效果。
Comments 41 pages, 12 figures
VASCO:一种完全自动化的CASA流水线,用于大体积VLBI数据校准
专题命中 工作流自动化 :workflow(abstract)
AI总结 VASCO利用CASA框架实现全自动校准,解决VLBA多格式数据校准问题,验证了97.8%的数据校准成功,执行时间约30分钟。
Comments 12 pages, 9 figures; Accepted for publication in Astronomy & Astrophysics. Code available at https://github.com/avikhagol/avica ; comments are welcome on the manuscript and code
有界自主性:控制游戏中的LLM角色
专题命中 工作流自动化 :agent(abstract)
AI总结 本文提出有界自主性架构,通过三种接口控制游戏中的LLM角色,使其在多人互动中保持可执行性和社会一致性,并通过实验验证其有效性。
Comments 9 pages, 5 figures, 5 tables; manuscript unchanged from v1
Z-Image: 一种基于单流扩散Transformer的高效图像生成基础模型
机构 * Alibaba Group(阿里巴巴集团)
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出Z-Image,一种6B参数的高效图像生成基础模型,采用可扩展单流扩散Transformer架构,通过优化数据基础设施和训练流程,仅用314K H800 GPU小时完成训练,性能媲美顶级商业模型。
AppAgent:作为智能手机用户的多模态智能体
机构 * Tencent(腾讯)
专题命中 工作流自动化 :agent(abstract)
AI总结 介绍基于大语言模型的多模态智能体框架,通过简化动作空间操作智能手机应用,无需系统后端访问,经自主探索或观察人类示范学习,能执行复杂任务,测试验证其处理多种高级任务的能力。
Comments Accepted to CHI 2025, project page is https://appagent-official.github.io/
社会共识的不确定性代价
专题命中 工作流自动化 :agent(abstract)
AI总结 研究社交网络中不确定性对共识达成的影响,通过引入邻居颜色计数的相对扰动模型,证明即使微小扰动也会显著阻碍共识,并给出不确定性代价的紧界。
Comments 17 pages
病理学组合检索的组织病理学多模态嵌入
机构 * The University of Texas at Arlington(德克萨斯大学阿灵顿分校)
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出HOMIE框架,将生成式多模态大语言模型适配为病理检索专家,解决组合查询中的架构、任务和领域不匹配问题,在病理组合检索基准上显著优于现有方法。
Comments Accepted by ECCV 2026
FalconApp:通过自动标注的合成数据实现端到端感知的快速iPhone部署
机构 * Department of Electrical and Computer Engineering, University of Illinois at Urbana Champaign(伊利诺伊大学厄巴纳-香槟分校电子与计算机工程系)
专题命中 工作流自动化 :workflow(abstract)
AI总结 FalconApp通过自动标注的合成数据实现端到端感知的快速iPhone部署,利用手机拍摄的刚体对象生成感知模块,实现遮挡检测和6自由度姿态估计,实验显示其在模拟和现实评估中姿态精度优于PnP基线。
模型无关的纵向变量重要性轨迹的推断总结及其在自杀预防中的应用
专题命中 工作流自动化 :workflow(abstract)
AI总结 针对随时间变化的预测场景,提出变量重要性轨迹的总结性度量及其非参数有效估计与推断方法,并通过模拟和电子健康记录数据验证其在自杀风险因素分析中的有效性。
Comments 153 pages (43 main, 110 supplementary), 17 figures (4 main, 13 supplementary), 65 tables (2 main, 63 supplementary)
Journal ref Annals of Applied Statistics 20(2): 1340-1363 (2026)
复杂高维系统中的交替态与交织性
专题命中 工作流自动化 :workflow(abstract)
AI总结 利用计算非线性动力学方法,提出一种工作流自动识别高维模拟数据中的交替态,并定义交织性指标量化其差异与相似性,应用于气候系统分析。
FlowID: 利用潜在流匹配模型增强法医鉴定
机构 * INSA Toulouse(图卢兹理工学院) ; La Sorbonne Université(索邦大学) ; International Committee of the Red Cross(国际红十字委员会)
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出FlowID方法,结合单图像微调与注意力掩码,修复暴力死亡面部损伤并保留身份特征,在InjuredFaces基准上优于现有开源方法。
SplatPainter: 通过测试时训练从2D编辑交互式创作3D高斯
机构 * Stanford University(斯坦福大学) ; Adobe
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出SplatPainter,一种状态感知的前馈模型,通过测试时训练实现从用户2D视图连续编辑3D高斯资产,支持局部细节优化、涂改和全局重着色,达到交互速度。
Comments project page https://y-zheng18.github.io/SplatPainter/
ArteryX:用于从3D TOF-MRA中标准化颅内动脉特征提取的可靠端到端工具箱
机构 * Department of Neurology, University of Rochester(罗切斯特大学神经科部) ; Department of Physics, University of Rochester(罗切斯特大学物理系) ; Department of Imaging Sciences, University of Rochester(罗切斯特大学影像科学系) ; Department of Electrical & Computer Engineering, University of Rochester(罗切斯特大学电气与计算机工程系) ; Department of Biomedical Engineering, University of Rochester(罗切斯特大学生物医学工程系)
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出ArteryX工具箱,通过标准化动脉分类、集成分割处理和图构建,提取形态、拓扑和复杂性特征,在三个数据集上验证其优于iCafe,并降低人工校正负担。
Comments 26 Pages, 6 Figures, Preliminary version of the toolbox was presented at the ISMRM 2025 Conference in Hawaii at the "Software Tools" Session
利用电子通道对比成像表征蠕变变形橄榄石中的位错亚结构
专题命中 工作流自动化 :workflow(abstract)
AI总结 通过电子通道对比成像与电子背散射衍射结合,研究蠕变变形橄榄石中的位错亚结构,揭示其复杂性及对蠕变模型的约束作用。
Comments Preprint (as-submitted version after the first peer review)
Journal ref J. Geophys. Res. Solid Earth 131 (2026) e2026JB034771
aim2dat:用于自动从头计算材料建模和数据分析的Python基础设施
专题命中 工作流自动化 :workflow(abstract)
AI总结 aim2dat提供用户友好的界面,用于生成和处理大数据,基于密度泛函理论设计高通量工作流,并分析输出。其关键功能包括在线数据库接口、高通量筛选程序和机器学习模型的无缝集成。
量子纠错的强化学习控制
专题命中 工作流自动化 :agent(abstract)
AI总结 通过强化学习统一量子纠错与校准,在Willow超导处理器上实现表面码逻辑稳定性提升3.5倍,并创下表面码和颜色码的逻辑错误率记录。
高重复率投影多光子光刻用于大面积亚微米3D打印
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出基于时空光束整形的全息3D打印平台,通过飞秒激光源和DMD投影实现每秒超百万体素、分辨率低于400nm的亚微米3D制造,并验证了大面积木堆晶格和微柱阵列的可靠加工。
基于计算机视觉的清洁地震目录方法
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出一种结合波形定位与深度学习图像分类的计算机视觉流程,通过相干矩阵的二值图像分类区分真实地震事件与噪声,提升地震目录的清洁度和定位精度。
SuperCarver: 纹理一致的3D几何超分辨率用于高保真表面细节生成
机构 * Tencent Games, China(腾讯游戏,中国) ; Department of Computer Science & Engineering, Texas A & M University(电子与计算机工程系,德克萨斯A&M大学) ; Department of Computer Science, City University of Hong Kong(计算机科学系,香港城市大学)
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出SuperCarver,一种3D几何超分辨率管线,通过先验引导的法线扩散模型和噪声鲁棒的逆渲染,为粗糙网格补充纹理一致的表面细节,实现高保真细节生成。
Comments Accepted in IEEE TVCG
AutoBG: 一个集交互式构思、迭代规则书生成和个性化反馈于一体的棋盘游戏设计助手
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出AutoBG系统,通过四个模块(BG-Ideator、BG-Realizer、BG-Critic、BG-Persona)实现从构思到规则书迭代和用户测试的端到端支持,显著提升设计效率和质量。
东亚业务洪季预报的百亿亿次混合数值-AI集成:15公里十年回溯模拟与1公里高分辨率能力
专题命中 工作流自动化 :workflow(abstract)
AI总结 针对东亚夏季降水季节预报的挑战,提出CAPES系统,集成公里级耦合区域模型与数据驱动AI系统,通过174个数值成员和1600个AI成员的融合集成,在14.6小时内完成十年回溯模拟,将平均预测评分从ECMWF的71.8提升至75.9,并实现1公里分辨率台风模拟和公里级融合集成预报的可行性。
Comments 12 pages, 13 figures, 5 tables
使用RAPTOR和FBT在TCV上的动理学平衡预测
专题命中 工作流自动化 :workflow(abstract)
AI总结 通过耦合RAPTOR输运模拟与FBT平衡计算,提出动理学平衡预测工作流,实现TCV全放电的快速预演和线圈电流优化。
Comments 26 pages, 21 figures
使用 ResFrac 加速持续改进的 A 到 Z 指南
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文为 ResFrac 新用户提供成功使用该软件所需的工具,涵盖功能描述、操作指南及高级工程技能,包括建模工作流设计、批判性思考和结果沟通。
关于泊松追随者模型
专题命中 工作流自动化 :agent(abstract)
AI总结 本文提出一种受观点动力学启发的随机几何动力学模型,通过追随者向领导者意见减半更新的规则,结合泊松点过程初始条件,利用积分几何公式刻画了领导权演化与观点聚类现象的时空频率,并数值分析了追随者动力学的极限行为。
轨道优化对耦合簇双激发的解析梯度和几何优化
专题命中 工作流自动化 :workflow(abstract)
AI总结 在PyBEST中实现基于解析梯度的几何优化引擎,用于轨道优化对耦合簇双激发(OOpCCD/AP1roG),通过Lagrangian形式首次实现解析核梯度,验证表明键长偏差约0.02 Å,键角偏差小于1°。
Comments 11 pages, 3 figures, AAM