Neuro-Symbolic Systems

Opening — Why this matters now Language agents are no longer satisfied with short conversations and disposable prompts. They want places—environments where actions have consequences, memory persists, and the world does not politely forget everything after the next API call. Unfortunately, today’s tooling offers an awkward choice: either rigid web applications backed by databases, or fully generative world models that hallucinate their own physics and promptly lose the plot. ...

Opening — Why this matters now AI coding agents are everywhere—and still, maddeningly unreliable. They pass unit tests they shouldn’t. They hallucinate imports. They invent APIs with confidence that would be admirable if it weren’t so destructive. The industry response has been predictable: bigger models, longer prompts, more retries. This paper proposes something less glamorous and far more effective: stop asking stochastic models to behave like deterministic software engineers. ...