Realistic Counterfactual Explanations via Denial Constraints
本文提出了一种通过整合关系数据库中的否定约束来生成可解释人工智能中现实反事实解释的新颖方法,以确保生成的实例符合数据有效性规则,从而在对距离和多样性指标影响最小的情况下提高实际应用性。
原作者已查阅我们通俗解释的论文。
本页收录的每篇论文,都有至少一位原作者阅读并参与了我们的通俗解释——或是确认其准确无误,或是提出修正意见并由我们随后采纳。作者的确认并不等同于对每一句话的正式背书,但说明该解释已经过论文作者的审视。
1196 篇论文已由作者审阅 · 121–130 / 1196
本文提出了一种通过整合关系数据库中的否定约束来生成可解释人工智能中现实反事实解释的新颖方法,以确保生成的实例符合数据有效性规则,从而在对距离和多样性指标影响最小的情况下提高实际应用性。
本可行性研究提出并概述了一项轻量化、基于智能手机的安全检查系统的评估计划,该系统旨在通过使用软标识符将处方成分与患者过敏史进行匹配,以预防孟加拉国农村医院的不良药物反应,同时优先考虑工作流效率并最大限度地减少警报疲劳。
本文提出了“第五场”,这是一种数据驱动的、非传播性的引力响应,它在低密度环境中放大重子引力,同时在高密度机制中保持屏蔽状态,从而在无需引入暗物质、暗能量或修改爱因斯坦场方程的情况下,成功解释了所有尺度上的星系动力学、星系团透镜效应及宇宙学观测。
本研究通过在 PKTron 框架上的模拟以及在 IBM 量子硬件上的实验验证,证明了纠缠态 GHZ 系综能够实现海森堡极限精度缩放和精确相位恢复,从而验证了量子增强原子钟的基础传感与相位提取机制,同时明确指出这些结果证实的是离散变量算法而非物理振荡器硬件。
本文提出了一种新颖的玻璃表面检测方法,该方法通过利用基于 Transformer 的 3D 先验以及具有频率和几何模块的多任务架构,实现了从 2D 外观线索向 3D 视觉几何的转变,并在多个基准测试中达到了最先进的性能。
这项针对尼日利亚拉各斯慢性病患者的研究表明,自付医疗费用经常导致灾难性支出和贫困,且这种经济负担在高级别公立医疗机构会显著上升,并能通过医疗保险得到强力的缓解。
本文引入了一种路径依赖能量拉格朗日量(PDEL),该拉格朗日量利用通道功率的历史积分和特定的上界变分规则,将不可逆热力学系统的力学平衡方程与熵/热方程统一为一个单一的作用泛函,在无需辅助乘子确保热力学一致性的同时,同步产生耗散力和正热源。
本文证明了在四碱基沃森-克里克模型下,最多具有两个长度为 2 的极大螺旋且不含长度为 1 的螺旋的 RNA 靶标仍是可设计的,通过结合局部着色转移和全局计数论证,扩展了现有的模 可分性保证,且其形式化证明已通过 Lean 4 验证。
本文提出了一种针对闵可夫斯基时空双曲面叶层上线性波动方程的稳定、全三维分部求和(Summation-by-Parts)方案。该方案通过紧致化处理与曲线坐标及无穷远相关的坐标奇异性,并将其中的 Kreiss-Oliger 耗散推广至一般空间流形上的曲线坐标,展示了对未来应用于非线性系统(如爱因斯坦场方程)的极具前景的应用结果。
本文将塑性理论的基本组成部分——包括屈服、流动和硬化——统一到一个基于单侧容许路径方向平稳性的单一标量泛函框架中,从而推导出弹性不等式、加载-卸载条件,以及关联与非关联流动法则,同时兼顾了各种硬化机制和速率相关演化。