A Simple Constructive Bound on Circuit Size Change Under Truth Table Perturbation
该论文明确给出了在任意固定有限完备基下，真值表单点扰动导致电路规模变化不超过 的构造性上界，并通过 telescoping 论证将其推广至一般汉明距离，同时利用 SAT 求解器在 时对 AIG 基的穷举验证确认了该上界的紧性。
💻 Category
cs
3447 篇论文
PixelConfig: Longitudinal Measurement and Reverse-Engineering of Meta Pixel Configurations
该论文提出了名为 PixelConfig 的差分分析框架，通过逆向工程揭示了 Meta Pixel 在健康类网站等场景中默认启用高比例的活动与身份追踪功能，且即便启用了限制追踪的配置，其实际保护效果也极为有限。
EventVGGT: Exploring Cross-Modal Distillation for Consistent Event-based Depth Estimation
本文提出了 EventVGGT 框架，通过将事件流建模为连贯视频序列，并首创从视觉几何基础模型（VGGT）中蒸馏时空与多视图几何先验的三级策略，有效解决了现有无监督事件深度估计方法因忽略时间连续性而导致的预测不一致问题，显著提升了深度估计精度与泛化能力。
Training-Free Coverless Multi-Image Steganography with Access Control
本文提出了一种名为 MIDAS 的免训练扩散模型框架，通过随机基机制和潜在向量融合技术，实现了具备用户特定访问控制功能的无载体多图像隐写，在保障图像质量与多样性的同时显著提升了抗隐写分析能力和访问控制安全性。
GeoBenchr: An Application-Centric Benchmarking Suite for Spatiotemporal Database Platforms
本文提出了 GeoBenchr，这是一个开源的应用导向基准测试套件，旨在通过涵盖多样化数据集、查询类型及真实场景工作负载，对时空数据库平台进行全面的性能评估与比较。
Vision-Augmented On-Track System Identification for Autonomous Racing via Attention-Based Priors and Iterative Neural Correction
该论文提出了一种结合视觉注意力先验与迭代神经修正的自主赛车系统辨识框架，通过利用轻量级 CNN 从路面纹理生成摩擦先验以解决冷启动问题，并采用 S4 模型捕捉高频动态残差，显著提升了非线性轮胎动力学参数辨识的精度与收敛速度。
YOLO-NAS-Bench: A Surrogate Benchmark with Self-Evolving Predictors for YOLO Architecture Search
本文提出了首个专为 YOLO 系列目标检测器设计的代理基准 YOLO-NAS-Bench，通过引入自进化机制优化预测器性能，有效解决了 YOLO 架构搜索中评估成本高昂的瓶颈问题。
RiO-DETR: DETR for Real-time Oriented Object Detection
本文提出了首个面向实时旋转目标检测的 Transformer 模型 RiO-DETR，通过内容驱动角度估计、解耦周期细化及面向旋转的密集监督等创新设计，有效解决了旋转检测中的语义依赖、角度周期性及搜索空间扩大等挑战，在多个基准数据集上实现了速度与精度的新平衡。
The framework to unify all complexity dichotomy theorems for Boolean tensor networks
本文提出了一种统一所有布尔张量网络复杂性二分定理的框架，通过将未解决的计数问题按复数域上 2×2 矩阵构成的有限群分为九类，并分别利用矩阵转置闭包性质、克服涉及四元子群的实数化障碍、基于猜想推进一阶循环群情形以及解决高阶循环群情形，从而致力于构建涵盖整个问题类的最大统一定理。
CIGPose: Causal Intervention Graph Neural Network for Whole-Body Pose Estimation
CIGPose 提出了一种基于结构因果模型的因果干预图神经网络框架，通过识别并替换受视觉上下文混淆的关节点表示，结合分层图神经网络强制解剖合理性，从而在 COCO-WholeBody 数据集上实现了超越现有方法的鲁棒性与精度。
MetaDAT: Generalizable Trajectory Prediction via Meta Pre-training and Data-Adaptive Test-Time Updating
该论文提出了 MetaDAT 框架，通过元预训练优化预测器以适应快速在线更新，并结合基于在线梯度与难例选择的数据自适应机制动态调整学习率与更新频率，从而在跨数据集分布偏移场景下显著提升了轨迹预测的泛化能力与鲁棒性。
An Analysis of Modern Web Security Vulnerabilities Inside WebAssembly Applications
该论文指出 WebAssembly 模块中的二进制漏洞（如缓冲区溢出）可能破坏 Web 应用的安全机制并引发 SQL 注入等 Web 安全威胁，同时提供了相应的缓解策略与最佳实践。
First Steps towards Categorical Algebraic Artificial Chemistry
本文构建了一个为代数相互作用组件模型赋予动力学的函子，该构造推广了人工生命领域中基于λ演算的 AlChemy 计算模型，并探讨了利用范畴论作为组织工具来形式化代数与动力学层面之间联系的未来方向。
GIIM: Graph-based Learning of Inter- and Intra-view Dependencies for Multi-view Medical Image Diagnosis
本文提出了一种名为 GIIM 的基于图的学习框架，通过同时建模多视角医学图像中病灶的视图内依赖关系与跨视图动态变化，并有效处理缺失数据，显著提升了计算机辅助诊断的准确性与鲁棒性。
ShapeMark: Robust and Diversity-Preserving Watermarking for Diffusion Models
ShapeMark 提出了一种通过结构化噪声模式编码水印位并引入随机化设计来平衡鲁棒性与多样性的扩散模型水印方法，从而在保持生成质量的同时实现了在多种有损场景下的卓越鲁棒性。
Stein Variational Ergodic Surface Coverage with SE(3) Constraints
该论文提出了一种结合流形感知采样、SE(3) 特定粒子更新及预条件技术的 Stein 变分梯度下降方法，有效解决了机器人复杂 3D 表面覆盖任务中非凸优化与 SE(3) 约束处理的难题，实现了优于现有方法的轨迹生成质量与收敛效率。
SEA-Nav: Efficient Policy Learning for Safe and Agile Quadruped Navigation in Cluttered Environments
本文提出了 SEA-Nav 框架，通过结合微分控制障碍函数（CBF）安全屏蔽、自适应碰撞回放机制及运动学约束，实现了仅需分钟级训练即可在真实复杂密集障碍环境中进行安全且敏捷的四足机器人导航。
TopoOR: A Unified Topological Scene Representation for the Operating Room
本文提出了 TopoOR，一种基于高阶拓扑结构的多模态手术室场景统一表示方法，通过保留实体间的成对及群组关系和流形几何特征，在无菌违规检测、机器人阶段预测及后续动作预判等任务中显著超越了传统的图神经网络和大语言模型基线。
Experience Report on the Adaptable Integration of Requirements Engineering Courses into Curricula for Professionals
本文报告了将需求工程课程系统融入面向专业人士的软件工程教育课程的经验，提出了整合原则并描述了一种基于课程内容映射的系统化方法。
The Patrologia Graeca Corpus: OCR, Annotation, and Open Release of Noisy Nineteenth-Century Polytonic Greek Editions
本文介绍了 Patrologia Graeca 语料库，这是首个针对十九世纪复杂双语排版及退化多音调希腊文版《希腊教父集》的大规模开放 OCR 与语言学资源，通过专用流水线实现了极低错误率的文本识别，并提供了约六百万个标注词元，为古典希腊语研究及未来大语言模型训练确立了新的基准。