Official Code for ICLR2021 paper "A Geometric Analysis of Deep Generative Image Models and Its Applications"
-
Updated
Jan 22, 2025 - Jupyter Notebook
Official Code for ICLR2021 paper "A Geometric Analysis of Deep Generative Image Models and Its Applications"
Repository hosting the resources for the Lean demo session of my talk presented at the weekly research seminar on CHallenges in ANalysis and GEometry (CHANGE) at the University of Trento on February 11, 2025.
Aldous is a zero-shot semantic telemetry engine that measures emotional valence purely through geometry. Bypassing generative AI, it evaluates text against multivariate Gaussian concepts in constant O(1) time. Features Latent Concept Erasure for transparent, mathematically verifiable safety guardrails.
A Codex research workbench for discrete geometry and geometric analysis
A framework for mapping the internal geometry of transformer representations using angular projection, neuron-level modulation, and epistemically grounded prompts. Based on and extending Bird's original Spotlight Resonance Method (SRM).
🌀 Verifiable multi-agent AI with shadow auditing that transforms uncertain scenarios into transparent, confidence-scored strategic decisions.
Geometric Upright-supine Anatomical Variation Analysis framework
The Poincaré Conjecture: A Reframed Optimization of the Hamilton-Perelman Proof
Методология Геометрического Анализа Рынка. Классификация рыночных состояний через фазовое пространство.
Geometry-first audit interface for evaluating persistence-supported motion structure before downstream analysis.
Lean 4 / Mathlib formalization of 'A Noncircular Oval with Convex Unit-Tangent Iterates' — 627 modules, 0 sorry, verified build
Read-only second-order analysis of projected curvature from sealed support-solve artifacts, deriving a universal scale from unitarity-disk geometry and frozen linear-map structure.
To associate your repository with the geometric-analysis topic, visit your repo's landing page and select "manage topics."