Popular repositories Loading

1. polar_pack polar_pack Public

   Pack multiple LLMs into one weight stream via 2D/4D spherical quantization — dual (2 models, v1.0) and quad (4 models, statistical lossless, v2.0)

   Python 1

2. jprobe jprobe Public

   Read, steer and align latent reasoning traces (J-space) in LLMs — probes, latent recursion, think-loops, chain reuse.

   Python

3. lean-stat-learning-theory lean-stat-learning-theory Public

   Forked from YuanheZ/lean-stat-learning-theory

   [ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures for mordern statistics and learning theory.

   Lean

4. PolyaNet PolyaNet Public

   PolyaNet: a neural operator embedding the formally verified (Lean 4) arithmetic structure of the Pólya operator. 12-month ENSO forecast corr 0.45 vs 0.00 for persistence; beats LSTM & Transformer. …

   Python

5. StatsMLlib StatsMLlib Public

   Forked from Lean-MoDS/StatsMLlib

   Verified probability, statistics, and learning theory in Lean 4

   Lean