2026-07论文中文摘要
使用机器学习识别用于单常数乘法的高效SAT编码的良好规则
Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning
arXiv 2607.21188 · 2026-07-24案例研究：使用LPTP和大语言模型证明√2是无理数
Case study: proving sqrt(2) irrational with LPTP and an LLM
arXiv 2607.21187 · 2026-07-24用于减轻神经符号系统中推理捷径的可微逻辑编程
Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems
arXiv 2607.21185 · 2026-07-24通过归纳逻辑编程解释气象公报
Explaining Weather Bulletins via ILP
arXiv 2607.21184 · 2026-07-24命题归结中的代表性集合
Representative Sets in Propositional Abduction
arXiv 2607.21183 · 2026-07-24通过递归聚类算法和基于可扩展FPGA的实现解决大型旅行商问题（TSP）
Solving Large Traveling Salesman Problems (TSPs) by a Recursive Clustering Algorithm and a Scalable FPGA-Based Implementation
arXiv 2607.21182 · 2026-07-24铝掺杂Ni2MnSn0.75Al0.25赫斯勒合金中的磁热效应和多个磁相
Magneto-Caloric effect and Multiple magnetic phases in Al doped Ni2MnSn0.75Al0.25 Heusler Alloys
arXiv 2607.21181 · 2026-07-24语音到语音大语言模型助手的保障措施：以汽车应用为例
Safeguards for Speech2Speech LLM-Assistants: A Case Study in Automotive Applications
arXiv 2607.21180 · 2026-07-24视而不见，仍记于心：全模态大语言模型的令牌压缩
Out of Sight, Still in Mind: Token Compression for Omni-LLMs
arXiv 2607.21179 · 2026-07-24单可转移投票（STV）边际计算的进展
Advances in STV Margin Computation
arXiv 2607.21178 · 2026-07-24离散矩阵值傅里叶乘子的连续统极限
Continuum limit of discretized matrix-valued Fourier multipliers
arXiv 2607.21177 · 2026-07-24混合霍奇形式性
Mixed Hodge formality
arXiv 2607.21176 · 2026-07-24双量子点分子中两个偶极 - 偶极耦合电子的无基矢相干性和量子关联
Basis-independent coherence and quantum correlations in two dipole-dipole-coupled electrons in double quantum-dot molecules
arXiv 2607.21175 · 2026-07-24解耦跨模态流形差异：利用可见光扩散先验实现红外超分辨率
Decoupling Cross-Modality Manifold Discrepancy: Leveraging Visible Diffusion Priors for Infrared Super-Resolution
arXiv 2607.21174 · 2026-07-24可执行因果研究管道的自动合成与对抗验证
Automated Synthesis and Adversarial Validation of Executable Causal Research Pipelines
arXiv 2607.21173 · 2026-07-24通过拓扑数据分析和新闻情绪进行动态再平衡下的投资组合优化
Portfolio Optimization under Dynamic Rebalancing via Topological Data Analysis and News Sentiments
arXiv 2607.21170 · 2026-07-24通过量子测量不相容性表征极端退相干
Characterising extremal decoherence by quantum measurement incompatibility
arXiv 2607.21169 · 2026-07-24\(\ell_p\)空间上算子范数的可微性
Differentiability of the operator norm on $\ell_p$ spaces
arXiv 2607.21167 · 2026-07-24一种混合离散柯塞尔杆公式
A Mixed Discrete Cosserat Rod Formulation
arXiv 2607.21164 · 2026-07-24关于正规矩阵的对数优超不等式及其在行列式不等式和几何均值中的应用
A log-majorization inequality for normal matrices with applications to determinantal inequalities and geometric means
arXiv 2607.21163 · 2026-07-24就模型达成一致，验证推理：基于同态-非同态分解变压器的HND的GKR协议
Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference
arXiv 2607.21162 · 2026-07-24重离子碰撞中横向球度与椭圆流的内在耦合
Intrinsic coupling between transverse spherocity and elliptic flow in heavy-ion collisions
arXiv 2607.21161 · 2026-07-24对偶性约束量子纠错中的最优阈值
Duality constrains optimal thresholds in quantum error correction
arXiv 2607.21160 · 2026-07-24具有不可缩轨道的辛环面作用
Symplectic torus actions with non-contractible orbits
arXiv 2607.21159 · 2026-07-24准自旋BCS模型的 Thirring-Wehrl 理论的算子代数阐述
An Operator-Algebraic Exposition of the Thirring-Wehrl Theory of the Quasi-Spin BCS Model
arXiv 2607.21158 · 2026-07-24热霍尔电阻率作为各种绝缘体中声子热霍尔效应的统一描述
Thermal Hall Resistivity as a Unifying Description of Phonon Thermal Hall Effect in Various Insulators
arXiv 2607.21157 · 2026-07-24SafeStep：为体弱或痴呆老年人提供的人工智能旅行辅助
SafeStep: AI-powered Travel Assistance for Elderly People with Frailty or Dementia
arXiv 2607.21156 · 2026-07-24CRAG-MM诊断：实现对知识密集型视觉问答的逐阶段分析
CRAG-MM-Diagnostics: Enabling Stage-Wise Analysis of Knowledge-Intensive VQA
arXiv 2607.21155 · 2026-07-24在爱因斯坦望远镜候选地点索斯埃纳托斯的次声牛顿噪声估计
Infrasound Newtonian Noise Estimation at the Einstein Telescope Candidate Site Sos Enattos
arXiv 2607.21154 · 2026-07-24端点估计用于马尔钦维奇类型的多参数乘法子
Endpoint estimates for multiparameter multipliers of Marcinkiewicz type
arXiv 2607.21153 · 2026-07-24一种基于物理辅助深度神经网络的封闭框架，用于具有振动非平衡的可压缩流中的速度梯度动力学
A physics-assisted deep neural network-based closure framework for velocity gradient dynamics in compressible flows with vibrational non-equilibrium
arXiv 2607.21152 · 2026-07-24非弹性材料微观力学测试模拟中裂缝的无矩阵相场建模
Matrix-free phase-field modeling of fracture in micromechanical testing simulations of inelastic materials
arXiv 2607.21150 · 2026-07-24描述函数理论中的H覆盖映射
H-covering Maps in Descriptive Function Theory
arXiv 2607.21149 · 2026-07-24弱拓扑边界态的例外点几何
Exceptional-Point Geometry of Weak Topological Boundary States
arXiv 2607.21148 · 2026-07-24超导多层谐振器中的磁记忆电感
Magnetically memorable inductance in superconducting multilayer resonators
arXiv 2607.21147 · 2026-07-24重离子在SPS能量下碰撞时，重子-反重子湮灭对超子（$Λ$，$\barΛ$）产生及$\barΛ/\bar{p}$中明显奇异增强的影响
Impact of Baryon anti-Baryon annihilation on hyperon ($Λ$, $\barΛ$) production and apparent strangeness enhancement in $\barΛ/\bar{p}$ in heavy ion collisions at SPS energy
arXiv 2607.21146 · 2026-07-24倾斜面上稳态粘性滚动波的全局分岔
Global bifurcation for steady viscous roll waves on an incline
arXiv 2607.21142 · 2026-07-24活动星系核反馈中缺少了什么？从Magneticum、IllustrisTNG和Simba中吸取的教训
What's Missing in AGN Feedback? Lessons learnt from Magneticum, IllustrisTNG and Simba
arXiv 2607.21140 · 2026-07-24强耦合下的能量-能量关联函数
Energy-Energy Correlators at Strong Coupling
arXiv 2607.21139 · 2026-07-24DTIF：通过复杂森林中的德劳内三角拓扑进行稳健的回环检测
DTIF: Robust Loop Closure Detection via Delaunay Triangle Topology in Complex Forests
arXiv 2607.21138 · 2026-07-24面向智能手机辅助导航的安全导向型人行道和道路分割
Safety-oriented sidewalk and road segmentation for smartphone-based assistive navigation
arXiv 2607.21137 · 2026-07-24安全与保障：加密模型预测控制的实验验证
Safety and Security: Experimental Validation of Encrypted Model Predictive Control
arXiv 2607.21136 · 2026-07-24用于从三维远场数据跟踪移动目标的贝叶斯优化方法
Bayesian optimization approach for tracking a moving target from far-field data in three dimensions
arXiv 2607.21135 · 2026-07-24基于跨维流匹配后验估计的天文时间序列快速推理
Fast Inference on Astronomical Time Series with Trans-Dimensional Flow Matching Posterior Estimation
arXiv 2607.21134 · 2026-07-24具有链间相互作用的双链半柔性链的螺旋稳定性
Helical stability of double-stranded semiflexible chains with interstrand interactions
arXiv 2607.21133 · 2026-07-24研究用于神经编解码器鲁棒性的编解码器内部潜在音频水印
Investigating Codec-Internal Latent Audio Watermarking for Neural Codec Robustness
arXiv 2607.21132 · 2026-07-24通过风险图神经网络得出的人口统计学信息热死亡风险曲线
Demographically-Informed Heat-Mortality Risk Curves via Risk Graph Neural Networks
arXiv 2607.21131 · 2026-07-24用于RISC-V单核上Float16设备端训练的硬件-软件协同设计
Hardware-Software Co-Design for Float16 On-Device Training on RISC-V Single-Core
arXiv 2607.21130 · 2026-07-24基于晚期巨脉泽观测数据的f(R)模型推断
Inferences for f(R) Models from Late-Time Megamaser Observational Data
arXiv 2607.21129 · 2026-07-24TF-MossFormer：集成卷积门控局部-全局注意力以增强时频域单声道语音分离
TF-MossFormer: Integrating Convolution Gated Local-Global Attentions for Enhanced Time-Frequency Domain Monaural Speech Separation
arXiv 2607.21128 · 2026-07-24
