claim
Neuro-symbolic AI redefines program synthesis and verification by merging the generative fluency of large language models with the rigor of symbolic logic.

Authors

Sources

Referenced by nodes (3)