Metaphor

标签: symbolic-reasoning

此标签下有3条笔记。

  • 2026年5月14日

    Logic Tensor Networks(逻辑张量网络)

    • neurosymbolic-ai
    • logic-tensor-networks
    • symbolic-reasoning
    • neural-networks
  • 2026年5月14日

    神经符号AI概述

    • neurosymbolic-ai
    • neural-symbolic
    • ai-reasoning
    • symbolic-reasoning
  • 2026年5月10日

    大语言模型与符号推理

    • llm
    • symbolic-reasoning
    • theorem-proving
    • neuro-symbolic
    • formal-verification

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community