Proof Atlas: The Geometry of a Formal Proof
Complete compiled proof graphs from two Lean corpora, their shared structure, and the limits of correspondence with a mathematical article.
Hidden Protostars: Failed Gates and Unresolved Counterparts
A matched-control study fails its uncertainty gate, an embedding does not beat the stronger ranking baseline, and infrared alignments leave stellar identity unresolved.
The Shortest Path When You Cannot Move Sideways
An interactive guide to the geometry of motion in the plane: from a simple constraint to the pendulum, competing routes, and the complete shortest-path solution.
Older
Newer