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

The Poincaré Conjecture: A Reframed Optimization of the Hamilton-Perelman Proof

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

Lean 4 / Mathlib formalization of 'A Noncircular Oval with Convex Unit-Tangent Iterates' — 627 modules, 0 sorry, verified build

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

Geometry-first audit interface for evaluating persistence-supported motion structure before downstream analysis.

Boundary Information Geometry (BIG): reduced mathematical models and prospective numerical tests of system-dependent boundary geometry, response, history, branch structure, reconfiguration, and limits of quantitative transfer.

이륜차 사고 단속 강화를 위한 무인단속기 입지선정

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.