Writing

Notes & essays

Occasional writing on neuro-symbolic AI, automated reasoning, and the craft of research. Opinions are my own.