孟德尔抽样误差（Mendelian sampling error）是指个体育种值与父母平均育种值的离差，用数学表达为：

Compositional Neuroscience: Seeking a New Languagefor Brain Circuits with Monoid...

Integrated Information Theory and the Phenomenal Binding Problem: Challenges and...

https://direct.mit.edu/neco/article/33/2/447/95645/Whence-the-Expected-Free-Ener...

MATHEMATICAL EXPLORATION AND DISCOVERY AT SCALE

Global Optimization for Combinatorial Geometry Problems Revisited in the Era of ...

Enhancing Math Reasoning in Small-sized LLMs via Preview Difficulty-Aware Interv...

LEANCAT: A BENCHMARK SUITE FOR FORMAL CATE-GORY THEORY IN LEAN (PART I: 1-CATEGO...

AI for Mathematics: Progress, Challenges, and Prospects

HILBERT: RECURSIVELY BUILDING FORMAL PROOFS WITHINFORMAL REASONING

Tacq - Context Aware Tactic Recommendation for Rocq

本节我们举例说明概率方法，即利用随机性构造有用对象。书籍 17 主要从组合数学角度提供了该方法的诸多示例。

那些我们可以归类为“控制论的”、“适应性的”或“活的”的系统都显示出一个基本的属性 :它们抵制将它们推离目标或使它们的存在不可持续的扰动。为了做到这一点,这样的...

Polynomial Life: the Structure of Adaptive Systems

Embodied Cognition and the Grip of Computational Metaphors

Regular black holes and the first law of black hole mechanics

https://arxiv.org/PS_cache/q-bio/pdf/0605/0605020v1.pdf

我们强调LEAN与现代大型语言模型完全不同，后者可以产生合理但不可靠的论点。相反，LEAN接受的每个证明都由一个可信的内核验证到数学的最基本公理。事实上，已经使...

https://www.researchgate.net/publication/343643283_Is_the_Free-Energy_Principle_...

“贝叶斯大脑假说”——即神经系统实现或近似贝叶斯推理的观点——在过去二十年中已成为认知神经科学领域的主导框架。尽管该假说在数学上优雅、概念上统一，本文认为，它处...