2026-09论文中文摘要
让不可见变为可见：软件工程教育中反思性AI使用的框架
Making the Invisible Visible: A Framework for Reflective AI Use in Software Engineering Education
arXiv 2609.34997 · 2026-09-28SmartMemory：通过基于内存的智能体检测智能合约的链上-链下通信不一致问题
SmartMemory: Detecting On-chain-off-chain Communication Inconsistency for Smart Contract via Memory-based Agent
arXiv 2609.34983 · 2026-09-28从早期参与到后期完成：来自一项大规模自定进度学习项目的证据
From Early Participation to Later Completion: Evidence from a Large-Scale Self-Paced Learning Programme
arXiv 2609.34953 · 2026-09-28SAT的多对数成员可比性的推论
Consequences of Polylogarithmic Membership Comparability for SAT
arXiv 2609.34952 · 2026-09-28“黑镜”？：公众对AI驱动的生活记录的意义建构
"Black Mirror?": Public Sensemaking of AI-Powered Lifelogging
arXiv 2609.34950 · 2026-09-28一种验证有色Petri网中结构不变式的实用方法
A Practical Approach To Verifying Structural Invariants In Colored Petri Nets
arXiv 2609.34928 · 2026-09-28会话类型状态空间构成格
Session Type State Spaces Form Lattices
arXiv 2609.34927 · 2026-09-28论CCS中的异步性与可逆性
On Asynchrony and Reversibility in CCS
arXiv 2609.34925 · 2026-09-28通过部分网关实现CFSM系统的安全组合
Safe Composition of CFSM Systems via Partial Gateways
arXiv 2609.34922 · 2026-09-28直觉主义版本匹配逻辑的完备海廷代数语义（扩展摘要）
Complete Heyting Algebra Semantics for an Intuitionistic Version of Matching Logic (Extended Abstract)
arXiv 2609.34894 · 2026-09-28面向匹配逻辑的依赖类型化模型组合
Dependently Typed Model Composition for Matching Logic
arXiv 2609.34892 · 2026-09-28扩展对称网中符号不变式的半自动验证
Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
arXiv 2609.34891 · 2026-09-28KITA AI: 面向多元政策审议的多智能体大语言模型系统
KITA AI: A Multi-Agent LLM System for Pluralistic Policy Deliberation
arXiv 2609.34890 · 2026-09-28Theorema与Rocq中双边耐心排序的认证
Certification of Bilateral Patience Sort in Theorema and Rocq
arXiv 2609.34889 · 2026-09-28Rocq中域理论与交互树的结合
Domain Theory Meets Interaction Trees in Rocq
arXiv 2609.34888 · 2026-09-28两种计算模型在Dafny中的形式化
The Formalization of two Computational Models in Dafny
arXiv 2609.34883 · 2026-09-28在Dafny中形式化Omega测试
Formalizing the Omega Test in Dafny
arXiv 2609.34882 · 2026-09-28使用TLA+轨迹检查的多租户Kubernetes集群监控与验证
Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
arXiv 2609.34881 · 2026-09-28可解网络SAT求解中无包容的私轴学习
Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving
arXiv 2609.34880 · 2026-09-28基于有界模型检验博弈扩展的更新调度合成
Synthesizing Update Schedules with Game-Based Extension of Bounded Model Checking
arXiv 2609.34878 · 2026-09-28遗传有穷集理论片段的形式化
Formalization of Fragments of the Theory of Hereditarily Finite Sets
arXiv 2609.34877 · 2026-09-28使用SPIN验证分布式恶意软件检测系统中的优雅降级
Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
arXiv 2609.34873 · 2026-09-28TELEPERM XS核安全仪表与控制平台中的认证编译
Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
arXiv 2609.34871 · 2026-09-28JEV作为智能体轨迹安全的评判器：与生成式大语言模型评判器的实证比较
JEV as a Judge for Agent Trace Security: An Empirical Comparison with Generative LLM Judges
arXiv 2609.34862 · 2026-09-28Reddit上的阴谋论社群与环保社群沿不同人口统计学维度分化
Conspiracy and Environment Communities on Reddit Sort Along Different Demographic Axes
arXiv 2609.34846 · 2026-09-28CEO Arena：评估竞争市场中的长周期多智能体决策
CEO Arena: Evaluating Long-Horizon Multi-Agent Decision-Making in Competitive Markets
arXiv 2609.34821 · 2026-09-28WaveAlign：面向长视频生成中稀疏注意力的缓存感知查询行调度
WaveAlign: Cache-Aware Query-Row Scheduling for Sparse Attention in Long-Video Generation
arXiv 2609.34814 · 2026-09-28无需注意力也没问题：用纯卷积重新思考基于会话的推荐
No Attention, No Problem: Rethinking Session-based Recommendation with Pure Convolution
arXiv 2609.34802 · 2026-09-28具身决策从何而来？对隐式推理与显式推理的再思考
Where Do Embodied Decisions Come From? Rethinking Latent and Explicit Reasoning
arXiv 2609.34794 · 2026-09-28学习停止而不学习停止：自监督置信度训练提高推理效率
Learning to Stop without Learning to Stop: Self-Supervised Confidence Training Improves Reasoning Efficiency
arXiv 2609.31619 · 2026-09-28量子表示选择中性斯格明子分子
Quantum Representation Selects Neutral Skyrmion Molecules
arXiv 2609.31618 · 2026-09-28等参超曲面导出的 Bernoulli 自由边界问题的奇点模型
Singularity models for the Bernoulli free boundary problem from isoparametric hypersurfaces
arXiv 2609.31617 · 2026-09-28铬单磷族化合物中磁性多样性的统一自旋-费米子框架
A Unified Spin-Fermion Framework for Magnetic Diversity in Chromium Monopnictides
arXiv 2609.31616 · 2026-09-28扭变互反多项式的伽罗瓦群：一致渐近
Galois groups of twisted reciprocal polynomials: a uniform asymptotic
arXiv 2609.31613 · 2026-09-28逆扩散的一阶平稳性
First-Order Stationarity of Reverse Diffusions
arXiv 2609.31612 · 2026-09-28用于中微子输运的多维广义相对论玻尔兹曼求解器：实现、离散化与优化
A Multidimensional General-Relativistic Boltzmann Solver for Neutrino Transport: Implementation, Discretization and Optimization
arXiv 2609.31611 · 2026-09-28到达时间方程的最优正则性
Optimal regularity for the arrival time equation
arXiv 2609.31610 · 2026-09-28振幅阻尼信道容量的精确级数公式
Exact series formulas for the capacities of the amplitude damping channel
arXiv 2609.31609 · 2026-09-28形式群与$(\varphi,\Gamma)$-模
Formal groups and $(φ,Γ)$-modules
arXiv 2609.31608 · 2026-09-28黑盒生成式AI的统计属性对齐：通过输出后处理实现
Statistical attribute alignment for black-box generative AI via output post-processing
arXiv 2609.31607 · 2026-09-28通过STL引导的Stein变分策略梯度从稀疏成功信号中学习机器人策略
Learning Robot Policies from Sparse Success Signals via STL-Guided Stein Variational Policy Gradient
arXiv 2609.31606 · 2026-09-28基于纠错视角的测量驱动逆计算
Measurement-Based Uncomputation from an Error Correction Perspective
arXiv 2609.31605 · 2026-09-28紧化Prym纤维化的傅里叶对偶性
Fourier duality on compactified Prym fibrations
arXiv 2609.31604 · 2026-09-28通过信念自蒸馏进行用户模型提取
User Model Extraction via Belief Self-Distillation
arXiv 2609.31603 · 2026-09-28一类一般映射的指定投影与变平面曲线的有效覆盖
Prescribed projections for a general class of maps and efficient covering by variable plane curves
arXiv 2609.31602 · 2026-09-28Holevo界的精确刻画：基于量子Fisher信息族
Exact Characterization of the Holevo Bound by a Quantum Fisher Information Family
arXiv 2609.31601 · 2026-09-28新LoRA技能应只读而不写
New LoRA Skills Should Read but Never Write
arXiv 2609.31600 · 2026-09-28到达时间方程的一般正则性障碍
General regularity obstructions for the arrival time equation
arXiv 2609.31599 · 2026-09-28基于薄膜钽酸锂的可扩展混合器件架构，用于具有原子频率梳量子存储器的长距离量子网络节点
Scalable Hybrid Device Architecture on Thin-Film Lithium Tantalate for Long Distance Quantum Network Nodes with Atomic Frequency Comb Quantum Memories
arXiv 2609.31598 · 2026-09-28具有指定系数的整数多项式的伽罗瓦群
Galois groups of integer polynomials with prescribed coefficients
arXiv 2609.31597 · 2026-09-28
