归档

归档

按时间、分类和标签整理公开笔记。

按时间

2026

个人理解阅读与学习
DeepSeek-Prover 阅读记录：矛盾假设过滤、否定命题证明与迭代增强
阅读 DeepSeek-Prover 论文后，对矛盾假设过滤、否定命题证明、迭代增强与数据集范围的记录和反思。
发布于2026/08/12

按分类

阅读与学习1

按标签