Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents.

Mark Marron

Browse the full Onward paper archive.