Amazon released Nova 2 Lite, a reasoning foundation model trained using neuro-symbolic AI, which incorporated the open-source automated reasoning tool Lean4 during the training process to enhance credibility, consistency, and performance.

Authors

• Person: Not available Organization: Wired
  How Neuro-Symbolic AI Breaks the Limits of LLMs - WIRED

Sources

• How Neuro-Symbolic AI Breaks the Limits of LLMs - WIRED www.wired.com Wired via serper

Referenced by nodes (2)

• Neuro-symbolic artificial intelligence concept
• Amazon entity