Ben Cassie

Ben Cassie has been a member of Linktree for 3 months and joined in May 2026. The social media accounts linked to from Ben Cassie are: • LinkedIn • Email • X • GitHub • Website Besides social media accounts, velvetmonkey has populated their site with: • Budgeted Hebbian Kuramoto Dynamics for Max-Cut under Amplitude Heterogeneity: Robustness, Not Cut Quality, Is the Signal • Barrier asymmetry in self modelling gradient flow: a witness corrected free energy • Epistemic Lensing: How Collective Judgment Standards Deflect Scientific Anomalies Before Paradigm Shifts • Hard Attention over Boolean Cubes: A Machine-Checked Expressivity • Discuss trustworthy systems • Ben Cassie: formal methods and systems • Lean 4 proof corpus • Witness Separation for Hard and Soft Attention over Boolean Cubes • Kuramoto-lean: Lean 4 Library for Finite-N Kuramoto Synchronisation Dynamics • Observers are all you need • Publication record (ORCID) • Seal: a local approval boundary for AI-agent tool calls.