Tools, experiments, and implementations supporting ongoing research.
A collection of utilities for interactive theorem proving in Lean 4, including tactic suggestion helpers and proof state visualisation tools.
Benchmark suite for evaluating learning rate schedules and optimizer behaviour on saddle-point landscapes, built around the Saddle Escape Efficiency metric.
Lightweight simulator for studying entanglement entropy scaling in quantum circuits using matrix product state decompositions.
A personal knowledge management system for organising research papers, annotations, and literature reviews in a structured notebook format.