geometric-analysis

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

LiDAR individual-tree segmentation with Cut Pursuit, geometric filtering, robust DBH estimation, and structural tree metrics.

Методология Геометрического Анализа Рынка. Классификация рыночных состояний через фазовое пространство.

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.