It’s a wrap at NeurIPS.
Presented Rabbit Brain 🐇 🧠 v0.5 at Symmetry and Geometry in Neural Representations.

Bye 👋 San Diego

for follow up research update check out
jhetchan.com/research/rab...

#NeurIPS2025 #NeurReps

my first arXiv preprint is here ~~

Gödel Mirror: A Formal System for Contradiction-Driven Recursion.
A Lean4 mechanized system that treats contradiction as a control signal for recursion.
arxiv.org/abs/2509.16239

#logic #Lean4 #formalmethods #AI