Projects
Research papers, ongoing investigations, and implementation projects are shown with equal weight, ordered newest to oldest. Browse the collection or filter by a shared mathematical idea.
Showing 10 of 10 projects
Spectral graph theory & network design
An ongoing research direction combining graph-theory-guided reinforcement learning for network design with exact spectral bounds and formally verified optimality proofs.
Open projectQuantum algorithms
A hybrid quantum-classical method that distributes a block-partitioned linear system across networked NISQ computers.
Open projectQuantum control
Ongoing research on reinforcement-learning methods for robust quantum gate control under noise.
Open projectMathematical modeling
An age-structured network SEIRV model with mobility, stochastic dynamics, and calibration to observed epidemic data.
Open projectFormal reasoning
An agent system that organizes Lean 4 theorem proving around an explicit proof plan, recursive decomposition, and independent checks.
Open projectDistributed optimization
A Lyapunov-based analysis framework for push-sum algorithms over time-varying directed communication networks.
Open projectMulti-agent learning
Topology-aware regret analysis for decentralized multi-armed bandits over strongly connected directed graphs.
Open projectDynamical systems
A finite-step semi-analytic method for stabilizing an undirected networked SIS model with constrained curing resources.
Open projectCombinatorial optimization
Transformer and reinforcement-learning policies for TSP, evaluated for solution quality, generalization, and exploration strategies.
Open projectMulti-agent reinforcement learning
A study of how reward shaping affects convergence and coordination in cooperative multi-agent locomotion.
Open project