TY  - RPRT
TI  - Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
AU  - Mark Marron
PY  - 2024
DO  - 10.1145/3622758.3622895
UR  - https://arxiv.org/abs/2407.06356
ID  - 2407.06356
ER  -