神经符号

条目：5

2026年三月 3 篇

类型	阅读	条目
[自动] [ARXIV]	4min	school 利用逻辑选项预训练提升深度强化学习 03-10 强化学习 RL H²RL
[自动] [ARXIV]	3min	school 利用逻辑选项预训练提升深度强化学习 03-09 强化学习 H^2RL 逻辑选项
[自动] [ARXIV]	3min	school BioProAgent：神经符号约束下的科学规划框架 03-03 BioProAgent 神经符号科学规划

2026年二月 2 篇

类型	阅读	条目
[自动] [HACKER_NEWS]	1min	newspaper Lean 4 定理证明器工作原理及其在 AI 领域的竞争优势 02-21 Lean 4 定理证明器形式化验证
[自动] [HACKER_NEWS]	3min	newspaper Lean 4 定理证明器工作原理及其在 AI 领域的新竞争优势 02-21 Lean 4 定理证明器形式化验证