A beautiful, simple, clean, and responsive Jekyll theme for academics

Example models for Stan

Home for "How To Scale Your Model", a short blog-style textbook about scaling LLMs on TPUs

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

An expressive, simple, dynamic programming language.

Case studies in applied and computational statistics.

LMS + External Tool Workflow Orchestration

Python library for infinite and infinitesimal numbers using Levi-Civita fields with PyTorch integration

Implement Clustering via Uncoupled REgression (CURE) from NeurIPS 2020.