2026-10论文中文摘要
LeanSide：一个形式化验证的自然语言证明协同推理系统
LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs
arXiv 2610.00760 · 2026-10-07奖励作为观测：学习基于奖励的策略以实现快速适应
Reward as Observation: Learning Reward-Based Policies for Rapid Adaptation
arXiv 2610.00729 · 2026-10-07巨正则系综生成器
Grand Canonical Generators
arXiv 2610.00683 · 2026-10-07来自无损立方复形的好量子局部可测试码
Good Quantum Locally Testable Codes from Lossless Cubical Complexes
arXiv 2610.00525 · 2026-10-07构造性神经网络场论：有限体积中的 $\phi_2^4$
Constructive Neural Network Field Theory: $ϕ_2^4$ in Finite Volume
arXiv 2610.00453 · 2026-10-07时间的几何：与时间视界无关的STL可行性与修复
A Geometric Decision Procedure for STL Feasibility and Repair
arXiv 2610.00199 · 2026-10-07半空间KPZ方程来自一类非线性SPDE
Half-space KPZ equation from a class of nonlinear SPDEs
arXiv 2609.40352 · 2026-10-07无条件非均匀量子傅里叶与切比雪夫变换
Conditioning-Free Non-Uniform Quantum Fourier and Chebyshev Transforms
arXiv 2609.40277 · 2026-10-07可证明易处理的基于HMM的NFA约束语言生成
Provably Tractable NFA-Constrained Language Generation via HMMs
arXiv 2609.40185 · 2026-10-07浅量子电路下的阴影量子奇异值变换
Shadow Quantum Singular Value Transformation with Shallow Quantum Circuits
arXiv 2609.40167 · 2026-10-07幂零对称性与守恒荷：4D阿贝尔2-形式规范理论的BRST量子化版本
Nilpotent Symmetries and Conserved Charges: BRST-Quantized Version of the 4D Abelian 2-Form Gauge Theory
arXiv 2609.40025 · 2026-10-07重建动态世界：4D场景重建的表示中心视角
Reconstructing the Dynamic World: A Representation-Centric View of 4D Scene Reconstruction
arXiv 2609.39960 · 2026-10-07超新星遗迹G343.1-00.7的深度射电表征
Deep radio characterization of the supernova remnant G343.1-00.7
arXiv 2609.39731 · 2026-10-07CYNAR：一种基于轨迹的熵产生估计器
CYNAR: a trajectory-based estimator of entropy production
arXiv 2609.39654 · 2026-10-07层码作为量子存储器：综合征提取、阈值与空闲鲁棒性
Layer codes as quantum memories: syndrome extraction, thresholds and idle robustness
arXiv 2609.39522 · 2026-10-07可积砖墙电路中算子纠缠的平方根增长
Square-root growth of operator entanglement in an integrable brickwork circuit
arXiv 2609.39401 · 2026-10-07TripleFlow：通过桥接残差编辑与原生生成实现免训练视频物体移除
TripleFlow: Training-Free Video Object Removal by Bridging Residual Editing and Native Generation
arXiv 2609.39157 · 2026-10-07共享相位与保持控制：高效自适应谱递归
Shared Phase and Retention Control for Efficient Adaptive Spectral Recurrence
arXiv 2609.39082 · 2026-10-07MeshOctave：通过级联分辨率转换生成网格
MeshOctave: Vertex Split-and-Rewire Cascades for Native Mesh Generation
arXiv 2609.38985 · 2026-10-07股票收益预测的可信大语言模型叙述中的推理外化
Reasoning Externalization for Faithful Large Language Model Narratives of Stock Return Predictions
arXiv 2609.38869 · 2026-10-07不偷工减料：视频生成中流内提示切换的状态接地转换
No Corners Cut: State-Grounded Transitions for Mid-Stream Prompt Switches in Video Generation
arXiv 2609.38691 · 2026-10-07强多语言隐私标注：编码器速度下的实现
Strong Multilingual Privacy Tagging at Encoder Speed
arXiv 2609.38630 · 2026-10-07液氙正电子靶流动优化
Liquid xenon positron target flow optimizations
arXiv 2609.38614 · 2026-10-07关于利用稀土掺杂微粒进行物质波干涉的提案
Proposal for matter-wave interferometry with a rare-earth-doped microparticle
arXiv 2609.38564 · 2026-10-07KlinikeBench：超越诊断准确性的语言模型评估
KlinikeBench: Evaluating Language Models Beyond Diagnostic Accuracy
arXiv 2609.38480 · 2026-10-07D2-膜全息中的标度相似性与广义共形对称性
Scaling similarity and generalised conformal symmetry in D2-brane holography
arXiv 2609.38336 · 2026-10-07弦向BPZ系统的拟指数与半经典极限
Quasi-exponentials and semi-classical limits for the chordal BPZ system
arXiv 2609.38192 · 2026-10-07在恒星形成星系中发现z≈7.57处的莱曼-α森林：对宇宙再电离时间和拓扑结构的启示
Discovery of the Lyman-$α$ Forest in a Star-Forming Galaxy at $z \approx 7.57$: Implications for the Timing and Topology of Cosmic Reionization
arXiv 2609.38080 · 2026-10-07LHS 3844 b 表面约束的改进：来自其中红外光谱
Improved Constraints on the Surface of LHS 3844 b from its Mid-Infrared Spectrum
arXiv 2609.37982 · 2026-10-07并非所有流动性提供者都相同：自动做市商流动性提供中的主动-被动差距
Not All LPs Are Equal: The Active-Passive Gap in Automated Market Maker Liquidity Provision
arXiv 2609.37963 · 2026-10-07存储并非策略：面向LLM遗忘的状态条件支持控制
Storage Is Not Strategy: State-Conditioned Support Control for LLM Unlearning
arXiv 2609.37858 · 2026-10-07Dyson-Schwinger有效作用量方法用于粗糙波动率：用于校准、奇异期权和风险的关联-响应架构
Dyson-Schwinger Effective-Action Methods for Rough Volatility: A Correlation-Response Architecture for Calibration, Exotics and Risk
arXiv 2609.37741 · 2026-10-07来自局域维度九算子的μ子到正电子转换：π极点改进的核多极矩
Muon-to-positron conversion from local dimension-nine operators: pion-pole-improved nuclear multipoles
arXiv 2609.37727 · 2026-10-07关于链式射影空间的希尔伯特多项式
On the Hilbert polynomial of the linked projective space
arXiv 2609.37634 · 2026-10-07通过互反WQH切换刻画余秩为二的游走矩阵等价性
A Characterization of Walk-Matrix Equivalence at Corank Two via Reciprocal WQH Switching
arXiv 2609.36895 · 2026-10-07利用ARPES和高能光谱探测$\mathrm{UTe}_2$的电子结构
Probing the electronic structure of $\mathrm{UTe}_2$ with ARPES and high-energy spectroscopy
arXiv 2609.36706 · 2026-10-07JudgeProfile：理解并引导LLM评判者的主观性
JudgeProfile: Understanding and Steering Subjectivity in LLM Judges
arXiv 2609.36705 · 2026-10-07MLToolBench：学习工具增强的机器学习开发智能体
MLToolBench: Learning Tool-Augmented Agents for Machine Learning Development
arXiv 2609.36679 · 2026-10-07FineART：用于双臂操作任务的细粒度标注机器人轨迹数据集与视觉-语言-动作模型
FineART: Fine-Grained Annotated Robotic Trajectory Dataset and Vision-Language-Action Model for Bimanual Manipulation
arXiv 2609.36416 · 2026-10-07关于Riemann zeta函数与Dirichlet $L-$函数的加权均方的闭式表达式
Weighted mean squares of $ζ$ and $L(\cdot,χ_4)$: closed forms, reciprocity, and a missing identity
arXiv 2609.36200 · 2026-10-07人工智能辅助的红外相减
Infrared Subtraction with Artificial Intelligence
arXiv 2609.36007 · 2026-10-071 < z < 9 红移范围内利用空间分辨测光和中带滤光片对总恒星质量测量的系统评估：质光比变化与遮蔽效应的影响
A Systematic Assessment of Total Stellar Mass Measurements with Spatially Resolved Photometry and Medium Bands at 1 < z < 9: The Impact of Mass-to-Light Variations and Outshining
arXiv 2609.35996 · 2026-10-07长周期射电暂现源 ASKAP J1448-68 是一颗激变变星
The long period radio transient ASKAP J1448-68 is a cataclysmic variable
arXiv 2609.35980 · 2026-10-07$\mathrm{PG}(1,q^5)$ 中最大散在线性集的分类
The classification of maximum scattered linear sets of $\mathrm{PG}(1,q^5)$
arXiv 2609.35617 · 2026-10-07维度三、四、六、八、十和十四中 Schiffer 与 Pompeiu 猜想的凸反例
Convex counterexamples to the Schiffer and Pompeiu conjectures in dimensions two to eighteen
arXiv 2609.35419 · 2026-10-07三维节线半金属中的等离激元模式：倾斜与能隙效应
Plasmon modes in tilted three-dimensional nodal-ring semimetals. I. $\mathcal{PT}$-symmetric nodal ring and its gapped cousin
arXiv 2609.35373 · 2026-10-07LionMuon：交替谱下降与符号下降以实现高效训练
LionMuon: Alternating Spectral and Sign Descent for Efficient Training
arXiv 2609.35297 · 2026-10-07高能天体物理中微子逆味映射中的参数简并性与信息丢失
Parameter degeneracy and information loss in inverse flavor mapping for high-energy astrophysical neutrinos
arXiv 2609.35132 · 2026-10-07AX 是新的 AEO
AX is the New AEO
arXiv 2609.34951 · 2026-10-07CLAD：用于神经网络验证的约束抽象域
CLAD: Constrained Abstract Domain for Neural Network Verification
arXiv 2609.34628 · 2026-10-07
