Joseph Scott

AI, automated reasoning, and whatever else I'm building