1From Zero to QED: An informal introduction to formality with Lean 4 (opens in new tab)(sdiehl.github.io)145rwosync3mo ago21
4Interfacing MCP with Combinatorial, Convex, and SMT Solvers (opens in new tab)(stephendiehl.com)5rwosync9mo ago0
8Synthetic Reasoning Traces from Knowledge Graphs (opens in new tab)(extrasensoryai.github.io)5rwosync1y ago1
13Bitcoin boom: what rising prices mean for the network’s energy consumption (opens in new tab)(cell.com)3rwosync5y ago0
15Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve (opens in new tab)(bloomberg.com)4rwosync5y ago0
