Models That Prove Their Own Correctness
我们如何才能相信学习模型对特定感兴趣输入的正确性？模型精度通常是根据输入分布的平均值来衡量的，不保证任何固定输入。本文针对这个问题提出了一个有理论基础的解决方案：训练自我证明模型，通过交互式证明向验证算法 V 证明其输出的正确性。自证明模型满足以下条件：对于从给定分布采样的输入，模型以高概率生成正确的输出并成功证明其对 V 的正确性。...
东亚蝎毒中钙素肽的环境适应和功能多样性摘要毒素作为天然存在的有害物质，已进化为生物体生存的防御机制。毒素的表达深受环境因素的影响，对其相关性的研究对于了解毒素引起的危害和制定保护措施具有重要意义。蝎子是一种重要的有毒物种，蝎子毒素表达的变异性与环境因素之间的关系仍不清楚。通过对从东亚八个不同气候和环境区域收集的蝎子样本进行转录组分析，我们成功鉴定了两种不同的蝎子物种。此外，我们发现毒素成分的差异，特别是最近发现的两种钙素的表达与其各自栖息地的环境湿度密切相关。这些钙素表现出不同的调节[3H]兰尼碱与兰尼碱受体的结合亲和力的能力，从而诱导延长的亚电导状态。我们的研究结果表明，这些蝎子独特的毒素库
