TimesFM is a pretrained decoder-only transformer foundation model for time-series forecasting, developed by Google Research. The repository provides multiple model versions (v1.0, v2.0, v2.5, v3.0) with implementations in PyTorch, Flax/JAX, and MLX (Apple Silicon). It supports zero-shot univariate and multivariate forecasting with covariates, quantile outputs, and various preprocessing options (RevIN normalization, linear detrending, symmetric averaging). The codebase includes a high-level forecaster API, CLI scripts for CSV forecasting and system checks, fine-tuning examples (LoRA/DoRA), and comprehensive benchmarks (GIFT-Eval, TIME, FEV). While primarily an application library, it also contains research-oriented components like benchmark runners and notebooks, making it a hybrid project with a strong application focus.
This repository reproduces the AlphaGeometry system (DD+AR and neural language model) from the Nature 2024 paper on automated theorem proving for olympiad-level geometry. It combines a symbolic deduction engine (DD) with algebraic reasoning (AR) and a transformer-based language model that suggests auxiliary constructions. The codebase includes problem files in a custom DSL, a large set of deduction rules, and a 150M-parameter transformer model. While not a production application, it provides a well-structured research codebase with clean module separation, comprehensive unit tests, and several reusable components such as a generic beam search implementation, algebraic reasoning tables, and proof traceback utilities. The repository is somewhat stale (last updated in 2023) and has many open issues; dependency pinning is strict but external dependencies like Meliad and a model checkpoint introduce reproducibility risks.