Ongoing research training transformer models at scale
95% on SimpleQA (e.g. Qwen3.6-27B on a 3090)
JSONLab: compact, portable, robust JSON/binary-JSON encoder
C++ libraries for manipulations in non-Euclidean geometry
A collection of productivity tools for academic researchers.
A system for computer algebra and symbolic mathematics