2026-08论文中文摘要
面向加权程序的演绎验证基础设施
Towards a Deductive Verification Infrastructure for Weighted Programming
arXiv 2608.18971 · 2026-08-20使用细胞自动机架构从兆帧每秒X射线探测器中提取片上布拉格峰
On-chip Bragg peak extraction from MHz frame rate X-ray detectors using a cellular automaton architecture
arXiv 2608.18970 · 2026-08-20模糊准确率补偿可穿戴光体积描记（PPG）信号肤色分类中的标签主观性
Fuzzy Accuracy Compensates for Label Subjectivity in Classification of Skin Tone Using Wearable Photoplethysmography Signals
arXiv 2608.18969 · 2026-08-20冻结的DINO无需定位器即可定位图像编辑
Frozen DINO Localizes Image Edits Without a Localizer
arXiv 2608.18968 · 2026-08-20度量树的精确随机覆盖：平衡舍入、对偶性与尖锐阈值
Exact random covers of metric trees: balanced rounding, duality, and sharp thresholds
arXiv 2608.18967 · 2026-08-20保持像的连续局部可定义映射的可微逼近
Differentiable approximation of continuous locally definable maps that preserves the image
arXiv 2608.18966 · 2026-08-20谁能让行动落地？面向高风险自动化系统的权限分解框架
Who Can Make the Action Happen? An Authority-Decomposition Framework for High-Risk Automated Systems
arXiv 2608.18965 · 2026-08-20通用支配与理想化力迫
Universal domination and idealized forcing
arXiv 2608.18964 · 2026-08-20面向全局21厘米宇宙学中的端到端贝叶斯正演模型：代理建模与波束不确定性的边缘化
Towards end-to-end Bayesian forward models in global 21-cm cosmology: surrogate modelling and marginalisation of beam uncertainty
arXiv 2608.18962 · 2026-08-20量子纠错中的子系统对称性与分形子模型
Subsystem Symmetries and Fracton Models in Quantum Error Correction
arXiv 2608.18961 · 2026-08-20APICURON：面向分布式研究数据生态系统的信用归因响应式基础设施
APICURON: a reactive infrastructure for credit attribution across distributed research data ecosystems
arXiv 2608.18958 · 2026-08-20Institutional Books - Visual Elements：从数字藏书集中提取、分类、去重和生成视觉元素描述的开源管道
Institutional Books - Visual Elements: An open-source pipeline for extracting, classifying, deduplicating, and captioning visual elements from digital book collections
arXiv 2608.18957 · 2026-08-20有界度代数簇上的复杂度敏感加性能量与非对角杨不等式
Complexity-sensitive additive energy and off-diagonal Young inequalities on bounded-degree algebraic varieties
arXiv 2608.18956 · 2026-08-20从埃尔德什问题1154到图灵理想的零一律
From Erdos Problem 1154 to a Zero One Law for Turing Ideals
arXiv 2608.18955 · 2026-08-20具有多模态扩展的低秩矩阵混合隶属度模型
Mixed Membership Model of Low-rank Matrices with Multimodal Extension
arXiv 2608.18953 · 2026-08-20rEDMRec：将大语言模型推理提炼为可编辑的体验记忆用于推荐
rEDMRec: Distilling Large Language Model Reasoning into an Editable Experience Memory for Recommendation
arXiv 2608.18952 · 2026-08-20Asgard/NOTT：实验室消光干涉性能状态
Asgard/NOTT: Status of laboratory nulling performance
arXiv 2608.18951 · 2026-08-20适用于混合量子光子学的超亮、高可扩展性压缩光源
An ultra-bright, highly-scalable, squeezed light source for hybrid quantum photonics
arXiv 2608.18950 · 2026-08-20夸克模型中的三体力
Three-body forces in the quark model
arXiv 2608.18949 · 2026-08-20直觉主义模态逻辑的内部预序结构与相干邻域系统之间的翻译
Translations between interior preorder structures and coherent neighbourhood systems for intuitionist modal logic
arXiv 2608.18947 · 2026-08-20Orlicz-Lorentz 空间单位球面上点的支撑泛函的刻画
Characterization of Supporting Functionals at Points of the Unit Sphere of Orlicz-Lorentz Spaces
arXiv 2608.18943 · 2026-08-20平面图的逆直径
Inversion Diameter of Planar Graphs
arXiv 2608.18942 · 2026-08-20基于自旋非平衡临界性的量子增强原子传感器
Quantum-Enhanced Atomic Sensor via Spin Nonequilibrium Criticality
arXiv 2608.18941 · 2026-08-20面向单步逆合成的化学合理性感知大语言模型训练
Training Chemical Plausibility-Aware Large Language Models for Single-Step Retrosynthesis
arXiv 2608.18940 · 2026-08-20用于常规及偏滤器替代构型研究的高功率TCV运行情景
High-power TCV scenario for conventional and alternative divertor studies
arXiv 2608.18939 · 2026-08-20打破最弱环节以规避视觉语言模型
Breaking the weakest link to evade vision language models
arXiv 2608.18938 · 2026-08-20MedUAG：面向医学多模态模型的统一理解与生成框架
MedUAG: Unified Understanding and Generation for Medical Multimodal Models
arXiv 2608.18937 · 2026-08-20含噪声的真实经典阴影
Real Classical Shadows with Noise
arXiv 2608.18935 · 2026-08-20树与穿孔仿射直线上的${\rm PGL}_2$-挠子的乘积
Products of trees and ${\rm PGL}_2$-torsors over the punctured affine line
arXiv 2608.18934 · 2026-08-20SkillForge：面向项目特定问题解决的自蒸馏智能体
SkillForge: Self-Distilling Agents for Project-Specific Issue Resolution
arXiv 2608.18933 · 2026-08-20存在干扰时跨网络的可迁移因果效应估计
Transportable Causal Effect Estimation across Networks under Interference
arXiv 2608.18932 · 2026-08-20野外测试时缩放：为何利用而非探索是瓶颈
Test-Time Scaling in the Wild: Why Exploitation, Not Exploration, Is the Bottleneck
arXiv 2608.18931 · 2026-08-20若干经典多元分布的高丁模型
Gaudin models for some classical multivariate distributions
arXiv 2608.18930 · 2026-08-20关于群表示的\\(\boldsymbol{u}\\)-替换
On $\textbf{u}$-substitutions for group presentations
arXiv 2608.18929 · 2026-08-20复对称对的正则性与Gelfand性质
Regularity and the Gelfand Property for Complex Symmetric Pairs
arXiv 2608.18928 · 2026-08-20斯特凡·伯格曼（1895-1977）：关于他的传记与书目
Stefan Bergman (1895-1977). Notes on His Bio- and Bibliography
arXiv 2608.18927 · 2026-08-20非可逆对称性与顶点算子代数外自同构
Non-invertible symmetry and vertex operator algebra outer-automorphism
arXiv 2608.18926 · 2026-08-20超快有序选择性电子成像与光谱学
Ultrafast order-selective electron imaging and spectroscopy
arXiv 2608.18925 · 2026-08-20r+1个顶点的r-均匀超图的近最优Turán密度
Near-optimal Turán densities of $r$-graphs on $r+1$ vertices
arXiv 2608.18924 · 2026-08-20欠膨胀同流射流中的马赫盘形成与激波结构转变
Mach-disk formation and shock-structure transitions in underexpanded coflowing jets
arXiv 2608.18923 · 2026-08-20大型强子对撞机（LHC）喷注内的$Υ(nS)$产生
$Υ(nS)$ Production within Jets at the LHC
arXiv 2608.18922 · 2026-08-20SMTrap：基于SMT冲突引导的针对大型推理模型的高性价比DoS攻击
SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance
arXiv 2608.18921 · 2026-08-20QCD求和规则对P波味六重重重子的统一谱学研究
Unified spectroscopy of $P$-wave flavor-sextet heavy baryons from QCD sum rules
arXiv 2608.18920 · 2026-08-20在聚合中迷失：基准测试如何忽视不可替代的模型优势
Lost in Aggregation: How Benchmarks Overlook Irreplaceable Model Strengths
arXiv 2608.18919 · 2026-08-20对代数而非张量化进行评分：动力系统转移算子模型的降维
Score the Algebra, Not the Span: Dimension Reduction for Transfer Operator Models of Dynamical Systems
arXiv 2608.18918 · 2026-08-202-幂零Mal'cev代数的结构与复杂性
Structure and Complexity of 2-Nilpotent Mal'cev Algebras
arXiv 2608.18917 · 2026-08-20带有阈值奇异性的二维四阶薛定谔算子的时间衰减估计
Time-Decay Estimates for Two-Dimensional Fourth-Order Schrödinger Operators with Threshold Singularities
arXiv 2608.18916 · 2026-08-20基于复合散度的单元式与个案式污染下的稳健多元估计方法
A Composite Divergence Approach to Robust Multivariate Estimation under Cellwise and Casewise Contamination
arXiv 2608.18914 · 2026-08-20无穷远处的完全刚性与莱文森空腔的存在性
Complete Rigidity at infinity and Existence of the Levinson Cavity
arXiv 2608.18913 · 2026-08-20通过上下文感知的NLP流水线将专家审议转化为金融信号
Converting Expert Deliberation into Financial Signals Through A Context-Aware NLP Pipeline
arXiv 2608.18911 · 2026-08-20
