avatar
Mike Dodds @m-dodds.bsky.social
šŸ“¤ 204 šŸ“„ 55 šŸ“ 55

Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social

you reached the end!!