Yellow sheet music can confuse playback apps. A command-line Python script solved the PDF problem. Sometimes AI is best used to write the tool. Recently, my wife, Denise, started singing with her ...

AI-driven agent designed to facilitate the exploration of the academic landscape surrounding seminal research works. Recognizing the challenge researchers face in navigating the expanding body of ...

An agent built on Claude Code for formal theorem proving tasks. We used this system to prove all 12 problems from Putnam 2025, and completed a paper-level formalization of Effective Brascamp-Lieb ...