![[Statistics Thesis] ccrvam : a Python Package for Model-Free Exploratory Analysis of Multivariate Discrete Data with an Ordinal Response Variable](/publication/stats-thesis-ccrvam/featured_hu11549825334270919884.webp)
[Statistics Thesis] ccrvam : a Python Package for Model-Free Exploratory Analysis of Multivariate Discrete Data with an Ordinal Response Variable
Scalable and modularized discrete checkerboard copula modeling for regression dependency analysis in categorical data.
Apr 16, 2025
![[Mathematics Thesis] Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch](/publication/math-thesis-lean/featured_hu1980786614645573733.webp)
[Mathematics Thesis] Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch
We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and machine-driven research exploration.
Apr 15, 2025