Amazon fine-tunes the Nova model using a specialized dataset that combines automated reasoning proofs written in Lean 4 with natural-language reasoning traces to expose the model to both correct solutions and the underlying thought processes.

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 (1)

• Amazon entity