Metaphor

标签: lean

此标签下有2条笔记。

  • 2026年5月14日

    AlphaProof形式化数学推理

    • neurosymbolic-ai
    • alphaproof
    • formal-verification
    • reinforcement-learning
    • lean
    • mathematical-reasoning
  • 2026年5月14日

    Neural Theorem Proving(神经定理证明)

    • neurosymbolic-ai
    • theorem-proving
    • formal-verification
    • lean
    • deep-learning

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community