Commonplace Book
A collection of insights, proofs, and patterns at the intersection of formal methods, functional programming, and AI systems
Research Notes
Working notes, thoughts, and explorations in progress.
Working notes, thoughts, and explorations in progress.
A collection of insights, proofs, and patterns at the intersection of formal methods, functional programming, and AI systems