←back to thread

SymbolicAI: A neuro-symbolic perspective on LLMs

(github.com)
222 points futurisold | 1 comments | 27 Jun 25 18:49 UTC | HN request time: 0.235s | source
1. schmook ◴[01 Jul 25 01:35 UTC] No.44429739[source]▶
My only gripe with this is that there's alread a term in computer science for this concept of "design by contract".

It's called a type system.

What you need for this is a more expressive type system.