181
submitted 2 months ago by yogthos@lemmy.ml to c/programmerhumor@lemmy.ml
you are viewing a single comment's thread
view the rest of the comments
[-] yogthos@lemmy.ml 6 points 1 month ago

I mean that's basically the idea behind neurosymbolic AI, have the LLM deal with natural language input, convert it to a formal spec, and give it to a symbolic engine to execute https://arxiv.org/abs/2305.00813

this post was submitted on 08 Apr 2026
181 points (94.6% liked)

Programmer Humor

42358 readers
15 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 6 years ago
MODERATORS