Post #3276017
2026-03-17 20:34 UTC
@emc2@indieweb.social @lindsey@recurse.social I thought automated reasoning was always a big(gest) part of symbolic AI?
Replies (1)
-
@emc2@indieweb.social 2026-03-17 20:44
@clayrat@types.pl @lindsey@recurse.social "Automated deduction" refers to something very specific, distinct from ai/ml https://cadeinc.org/