2026-09论文中文摘要
CaMeLoT:CaMeL 与时态逻辑编排,用于静态验证和活性
CaMeLoT: CaMeL orchestrated with Temporal logic for static verification and liveness
arXiv 2609.18674 · 2026-09-17超越EER:说话人去标识化中信息泄漏的多维评估
Beyond EER: Multi-Dimensional Evaluation of Information Leakage in Speaker De-Identification
arXiv 2609.18673 · 2026-09-17选择即检索,弃权(不执行)则不然:覆盖70个韩英动作的设备端工具路由
Selection Is Retrieval, Abstention Is Not: On-Device Tool Routing over 70 Korean-English Actions
arXiv 2609.18672 · 2026-09-17理论无关的非经典性认证在集成光子电路中的实现
Theory-agnostic nonclassicality certification in an integrated photonic circuit
arXiv 2609.18671 · 2026-09-17一维环面上的尖锐Strichartz估计
Sharp Strichartz estimates on the one-dimensional torus
arXiv 2609.18670 · 2026-09-17M$^3$P-R1:通过MIP代码生成实现大语言模型引导的多模态运动规划的强化学习
M$^3$P-R1: Reinforcement Learning for Large Language Model Guided Multi-Modal Motion Planning via MIP Code Generation
arXiv 2609.18669 · 2026-09-17多圈费曼积分从散射面元视角的几何结构
The geometry of multiloop Feynman Integrals from the Scattering Facet
arXiv 2609.18668 · 2026-09-17基于视频的无标记运动捕捉在临床与康复生物力学中的应用:一项遵循PRISMA-ScR范围综述的验证架构、临床就绪度与新兴方法研究
Video-Based Markerless Motion Capture for Clinical and Rehabilitation Biomechanics: A PRISMA-ScR Scoping Review of Validated Architectures, Clinical Readiness, and Emerging Methods
arXiv 2609.18667 · 2026-09-17CSS量子纠错码在水下量子密钥分发中的影响
Impact of a CSS quantum error correction code in underwater quantum key distribution
arXiv 2609.18666 · 2026-09-17Shimura 簇 Newton 层的稳定迹公式
Stable Trace Formula for Newton strata of Shimura varieties
arXiv 2609.18665 · 2026-09-17类时Ollivier-Ricci曲率
Timelike Ollivier-Ricci curvature
arXiv 2609.18664 · 2026-09-17现代GPU ISA压缩的自动化指令编码综合
Automated Instruction Encoding Synthesis for Modern GPU ISA Compression
arXiv 2609.18662 · 2026-09-17接触卡农映射及其守恒量与耗散量
Contact canonoid maps and their conserved and dissipated quantities
arXiv 2609.18661 · 2026-09-17不可压缩反演对称Valanis-Landel型能量的多凸性
Polyconvexity for incompressible inversion-symmetric energies of Valanis-Landel type
arXiv 2609.18660 · 2026-09-17南希·格雷斯·罗曼太空望远镜日冕仪社区参与计划
The Nancy Grace Roman Space Telescope Coronagraph Community Participation Program
arXiv 2609.18659 · 2026-09-17AI驱动开发工具的安全风险评估框架
A Security Risk Assessment Framework for AI-Powered Development Tools
arXiv 2609.18658 · 2026-09-17通过交换插值算子实现连续压力Stokes离散化的压力鲁棒性
Pressure-robustness by commuting interpolation operators for Stokes discretizations with continuous pressures
arXiv 2609.18657 · 2026-09-17重新审视基于符号的分布式方差缩减
Revisiting Distributed Sign-Based Variance Reduction
arXiv 2609.18656 · 2026-09-17学习编程自适应非局域观测量用于机器学习
Learning to Program Adaptive Non-Local Observables for Machine Learning
arXiv 2609.18655 · 2026-09-17基于薄膜压电致动器的自适应基板支撑
Adaptive Substrate Support Based on Thin-Film Piezoelectric Actuators
arXiv 2609.18653 · 2026-09-17Smagorinsky 模型的一种 Reynolds 半稳健、全局无散度 HDG 方法
A Reynolds-Semi-Robust, Globally Divergence-Free HDG Method for the Smagorinsky Model
arXiv 2609.18652 · 2026-09-17FIERCE:通过进展-失败反馈从通用机器人策略到快速专家策略
FIERCE: From Generalist Robot Policies to Fast Specialists via Progress-Failure Feedback
arXiv 2609.18651 · 2026-09-17从游戏玩法到策略:迈向基于游戏化无机器人交互的可扩展机器人数据采集
From Gameplay to Policy: Towards Scalable Robot Data Collection via Gamified Robot-Free Interaction
arXiv 2609.18650 · 2026-09-17DyMT-ESB:用户与LLM交互中社会偏见的动态多轮评估
DyMT-ESB: Dynamic Multi-Turn Evaluation of Social Bias in User-LLM Interactions
arXiv 2609.18649 · 2026-09-17诱导 $K_{t,t}$-自由图中的 Sim-宽度、诱导匹配树宽和树独立数
Sim-Width, Induced Matching Treewidth, and Tree-Independence Number in Induced $K_{t,t}$-Free Graphs
arXiv 2609.18648 · 2026-09-17低温卤化物辅助氢化物气相外延生长单晶AlN薄膜
Low Temperature Halide Assisted HVPE Growth of Single Crystal AlN Films
arXiv 2609.18647 · 2026-09-17YZ Cancri的档案与新型低分辨率光谱的同质化分析
A homogeneous analysis of archival and new low-resolution spectra of YZ Cancri
arXiv 2609.18646 · 2026-09-17Sakurai天体中[WC]恒星的出现
The emergence of a [WC] star in Sakurai's object
arXiv 2609.18645 · 2026-09-17三维环删随机游走增长指数的一个显式下界
An explicit lower bound for the growth exponent of three-dimensional loop-erased random walk
arXiv 2609.18643 · 2026-09-17STRETCH:突破边界——面向渐进式大语言模型进化的统一自教框架
STRETCH the Boundaries: A Unified Self-Taught Framework for Progressive LLM Evolution
arXiv 2609.18642 · 2026-09-17CoRe-MARL:未知动态下基于循环多智能体强化学习的合作再分配
CoRe-MARL: Cooperative Redistribution Under Unknown Dynamics Using Recurrent Multi-Agent Reinforcement Learning
arXiv 2609.18639 · 2026-09-17支持用户进行观测准备——ESO ObsPrep 工具
Supporting users in their observation preparation - the ESO ObsPrep tool
arXiv 2609.18637 · 2026-09-17从粉末到零件:原始与回收Inconel 625粉末对DED-LP可加工性、微观组织及力学性能的影响
From powder to part: influence of virgin and recovered Inconel 625 powders on the DED-LP processability, microstructure and mechanical properties
arXiv 2609.18636 · 2026-09-17近似最大团和最大独立集的确定性流式下界
Deterministic Streaming Lower Bounds for Approximate Maximum Clique and Maximum Independent Set
arXiv 2609.18635 · 2026-09-17GenStream:面向以人为中心媒体生成式重建的语义流式传输框架
GenStream: Semantic Streaming Framework for Generative Reconstruction of Human-centric Media
arXiv 2609.18634 · 2026-09-17Netkit:为容器网络特化Linux数据包投递
Netkit: Specializing Linux Packet Delivery for Container Networks
arXiv 2609.18633 · 2026-09-17VibeAvatar:对齐语音运动学与人类美学以实现高保真说话头像合成
VibeAvatar: Aligning Phonetic Kinematics and Human Aesthetics for High-Fidelity Talking Avatar Synthesis
arXiv 2609.18632 · 2026-09-17基于Savitzky-Golay滤波与齐次微分器的自动去噪和微分用于微分嵌入吸引子重构
Automatic denoising and differentiation based on Savitzky-Golay filtering and Homogeneous Differentiators for attractor reconstruction via differential embedding
arXiv 2609.18631 · 2026-09-17一个Dlab群的自同构不由共轭诱导
An order automorphism of a Dlab group not induced by conjugation
arXiv 2609.18630 · 2026-09-17一个关于偏斜染色的Hajnal-Szemerédi定理
A Hajnal-Szemerédi Theorem for Skewed Colorings
arXiv 2609.18629 · 2026-09-17地下环境中传感器退化、误标定和动态遮挡下的视觉惯性里程计基准测试
Benchmarking Visual-Inertial Odometry in Subterranean Environments Under Sensor Degradation, Miscalibration, and Dynamic Occlusion
arXiv 2609.18628 · 2026-09-17DGLAP的规范变换群:求和规则、分类与求解
Scheme transformations as the gauge group of DGLAP: sum rules, classification and solution
arXiv 2609.18627 · 2026-09-17关于Gorenstein环上极大Cohen-Macaulay模的稳定范畴(II)
On the Stable category of maximal Cohen-Macaulay modules over Gorenstein rings-II
arXiv 2609.18626 · 2026-09-17具有光滑 $L^2$-次临界函数非线性扰动的对数 Schrödinger 方程多孤子的存在性
Existence of multi-solitons for logarithmic Schr{ö}dinger equation with a perturbation of a smooth $L^2$-subcritical function nonlinearity
arXiv 2609.18625 · 2026-09-17MoQSplat:基于MoQ的3D高斯泼溅自适应渐进式流传输
MoQSplat: Adaptive Progressive Streaming of 3D Gaussian Splatting via MoQ
arXiv 2609.18624 · 2026-09-17FIVE-VLA:具有循环动作记忆的快速有效自动驾驶
FIVE-VLA: Fast and EffectIVE Autonomous Driving with Recurrent Action Memory
arXiv 2609.18623 · 2026-09-17模型选择需要多少标签?选择性预测的证书与预算
How Many Labels Does Model Choice Need? Certificates and Budgets for Selective Prediction
arXiv 2609.18622 · 2026-09-17关于 Dunkl Hardy 空间上 Hörmander 乘子的一个注记
A Remark on Hörmander Multipliers on Dunkl Hardy Spaces
arXiv 2609.18621 · 2026-09-17保持Kasparov循环的线性映射与诱导自同构的刻画
Linear maps preserving Kasparov cycles and the characterization of induced automorphisms
arXiv 2609.18619 · 2026-09-17关于离散凝聚-湮灭系统的适定性与长时间动力学
On the well-posedness and long-time dynamics of a discrete coagulation--annihilation system
arXiv 2609.18618 · 2026-09-17