标签
本文针对具有固定转移的有限时域对抗性MDP引入了法扇几何，提出了一种面穿越价格，用以区分有后果的和无害的非平稳性。研究表明，动态遗憾可分解为内在的定价面运动加上面内选择误差。
本文介绍了 SD-GPS，一个求解器驱动的几何问题求解框架，利用求解器反馈引导的自动形式化和经过验证的定理提出，来克服神经符号系统中的瓶颈。
本文研究了语言模型激活中检测行为的向量与控制行为的向量之间的几何关系，发现对于幻觉检测，它们几乎正交（余弦约0.12），而对于输出格式，它们完美对齐，这对机械可解释性中的一个常见假设提出了挑战。
该推文强调了一项研究发现：无需视频训练或物理监督，即可从冻结图像编码器的几何结构中提取物理合理性的信号。
本文提供了理论解释，说明为什么扩散模型可以在没有显式噪声水平条件的情况下生成干净的样本，将其归因于高维几何，并分析为什么某些模型参数化成功而其他模型崩溃。
介绍了FllumaOne，一个由Flluma CAD系统中可执行Python程序生成的10万个样本的多模态CAD数据集，提供特征树、STEP几何、点云和语言描述，以支持可编辑CAD研究。
VeriGeo提出了一种可控几何问题生成框架，利用验证引导的反思确保数值与分析一致性。该方法生成高质量合成数据，在GeoQA上取得最先进结果，并在PGPS9K和MathVista-GPS上表现强劲。
本文介绍了SGR-BIM，一种图驱动的语义推理框架，能够动态地将法规意图与BIM几何对齐，自动化几何密集型合规检查，在消防安全规范查询上达到了84.3%的准确率。
本文分析了在线策略蒸馏（OPD），发现OPD更新是稀疏的，分布在各个层且以FFN为主，并且保留了与密集参数重写不同的几何特性。这种稀疏结构在操作上有用，但由于梯度尺度异质性，诱导稀疏性的SGD优化器表现不如AdamW。
本文介绍了拓扑神经算子，它将神经算子从纯点域提升到胞腔复形，嵌入几何与拓扑以减轻学习负担。研究表明，当几何不再被事后处理时，算子学习有所改善，尽管拓扑仍然是指定的。
本文研究空间几何是否提升语言代理记忆回忆能力，证明几何必须主导回忆而非近因或重要性，并指出在3D体素世界中，射线追踪可见性谓词对于遮挡处理至关重要。
本文比较了深度学习向量嵌入（CamemBERT）和词汇共现图模型在法语“大国民辩论”语料库上引发的几何结构，发现局部拓扑相似但全局组织截然不同，凸显了两种方法的互补性。
本文利用外微分系统对Transformer最后一层模型窃取攻击进行了几何解释，表明投影矩阵的恢复受二次曲面的极空间控制。它还刻画了最后一层之下的可识别性壁垒，揭示了哪些信息可以被提取，哪些不能。
本文提出了一种使用高斯混合模型对平面曲线进行概率多边形表示的方法，该方法保留了局部切线、法线和弧长信息，并在法线方向上编码了不确定性。该框架适用于各种平面曲线，并支持面向CAD、机器人和轨迹规划的不确定性感知几何建模。
edulab 新增解析几何题类型，支持随机出题、动态几何画板（2D Canvas 绘制曲线、动直线、动点、向量等）及 KaTeX 分步解析，是一个开源教育技能工具更新。
对AI导师Koji的批评，突出了其数学教学方法的缺陷，例如允许学生毫无指导地摸索，以及遗漏关键的概念性解释。
本文探究为何大型语言模型在执行基本的多操作数加法时失败，通过对残差流激活进行探针分析，揭示了名为“等原始和轨迹”（Iso-Raw-Sum Trajectories, IRSTs）的几何结构，并将“差一错误”解释为由潜在进位表征的噪声引起的几何滑动。
Geomatic 是一个命令驱动的几何工作室，利用自动微分实现交互式几何操作。