Jul 2026
Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming
Forethought is presented, a neurosymbolic reasoning system that instead treats reasoning as an explicit, verifiable program, that builds from a library of symbolic and neural primitives which are composed through a domain-specific language.
Vishvesh Bhat, Jay Vaghasiya, Emmanuel Anaya Gonzalez
· arXiv.org · 0 citations