Tacq - Rocq 的上下文感知战术推荐

BFS-Prover：面向大语言模型自动定理证明的可扩展最佳优先树搜索

人工智能在数学领域的应用：进展、挑战与展望

Ax-Prover：用于数学与量子物理定理证明的深度推理智能体框架

miniF2F-Dafny:通过自动验证的LLM引导的数学定理证明

频率学派对分布式（非）贝叶斯推理的保证

贝叶斯推断与频率学派推断在生物模型中的比较：准确性、不确定性与可识别性的对比分析

使用Jeffreys先验的元分析：经验频率学派性质

算术随机波的相关结构和共振对

变分推理、自编码器与扩散模型的频率学派统计导论

校准贝叶斯推理

高效计算的可能性推理模型近似方法

高能碰撞中的粒子碰撞与量子纠缠

使用105量子比特的“祖冲之3.0”处理器建立量子计算优势的新基准

从自动建模视角估计过参数化模型

典型性原则及其对统计学与数据科学的启示

有限样本下的分治策略：有效且高效的可能性推理

综述：多模态大型语言模型

无先验贝叶斯再构想：可能性推理模型的概率近似

高维概率 High-Dimensional Probability