Chip-Firing with Lean4: A Formalization Framework for Graph Theory
We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and AI-driven research exploration.
Jan 25, 2025
Discopula: Scalable Checkerboard Copula Modeling for Categorical Data
Scalable and modularized discrete checkerboard copula modeling for regression dependency analysis in categorical data.
Jan 24, 2025
RBlocks: Assistive Block Programming Language to Learn R
RBlocks uses Google Blockly and R to make statistical programming accessible, focusing on simplifying tools for non-coding enthusiasts.
Jun 1, 2023