Twitter, Pinboard, Resumé, Google Scholar
[June 9th 2025] The code is the chain-of-thought for programming. So successive iterations over the code are the reasoning tokens for programming.
[June 9th 2025] Neural concrete interpretation at scale is indistinguishable from neural abstract interpretation.
[July 24th 2022] List of all my papers and tech reports here
[June 14th 2022] Hello World!