Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming
arXiv:2607.04096v1 Announce Type: new Abstract: Current agentic workflows usually involve decomposing user requests into sequences of tool calls with correctly resolved parameters, the results of whic