Projects

A bilingual LaTeX book on mathematics and axiomatization, moving from logic and set theory through analysis, linear algebra, abstract algebra, topology, complex analysis, graph theory, and probability.

A spatial predator–prey simulation for studying emergent communication: individually learning animals, costly meaning-free signals, and a batched CPU/XPU execution backend.

A PyTorch-style execution runtime for Intel CPU, XPU, and OpenVINO NPU devices, with explicit compilation, mixed-device execution, and reproducible benchmarks.

A neural chess engine that distills Stockfish analysis into a compact policy/WDL network and plays through batched PUCT search on Intel Arc XPU.