实体
Karen Sargsyan
Karen Sargsyan
PulseAugur coverage of Karen Sargsyan — every cluster mentioning Karen Sargsyan across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新架构强制执行AI发现中的统计严谨性
研究人员开发了一个功能性架构，以增强AI驱动的科学发现中的统计严谨性，旨在防止产生虚假结果。该系统采用基于Haskell的Research monad在错误预算内强制执行假设检验，并使用沙盒环境将验证数据与LLM代码执行物理隔离。该架构包括一个机器检查的Lean 4形式化在线错误发现率控制程序，通过IEEE 754算术验证到SPARK/Ada实现。模拟显示，该系统有效控制了错误发现率，使其接近1%的目标5%，显著优于达到41%的朴素方法。
-
范畴论启发新型神经网络架构以实现更好的泛化
一篇新的研究论文提出了一种新颖的神经网络架构方法，该方法利用范畴论中的高阶归纳类型（HITs）。作者认为，当前的神经网络由于架构限制而在组合泛化方面存在困难，并引入了通过构造严格单子函子（strictly monoidal functors）的“传输解码器”（transport decoders）。实验表明，在需要组合理解的任务上，这些函子解码器显著优于非函子替代品，表明强制执行函子结构是提高泛化能力的关键。