Stars
blueprint for prime number theorem and more
An End-to-End Benchmark Suite for Univariate Time-Series Anomaly Detection
The user home repository for the Mathematics in Lean tutorial.
The "batteries included" extended library for the Lean programming language and theorem prover
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
A Python toolkit/library for reality-centric machine/deep learning and data mining on partially-observed time series, including SOTA neural network models for scientific analysis tasks of imputatio…
TSB-AD: Towards A Reliable Time-Series Anomaly Detection Benchmark
Automated Solutions for Time-Series Anomaly Detection
About Code release for "Anomaly Transformer: Time Series Anomaly Detection with Association Discrepancy" (ICLR 2022 Spotlight), https://openreview.net/forum?id=LzQQ89U1qm_
NVIDIA Math Libraries for the Python Ecosystem
mTSBench: Benchmarking Multivariate Time Series Anomaly Detection and Model Selection at Scale
An open-source AI agent that brings the power of Gemini directly into your terminal.
Pipeline for Explainable Anomaly Detection over Time Series
Hao Jin, Yang Peng, Wenhao Yang, Shusen Wang and Zhihua Zhang. Federated Reinforcement Learning with Environment Heterogeneity. AISTATS, 2022.
Lean 4 programming language and theorem prover
Formalizing stochastic doubly-efficient debate
A collection of formalized statements of conjectures in Lean.
A probabilistic programming library for Bayesian deep learning, generative models, based on Tensorflow
A framework for using LSTMs to detect anomalies in multivariate time series data. Includes spacecraft anomaly data and experiments from the Mars Science Laboratory and SMAP missions.
KDD 2019: Robust Anomaly Detection for Multivariate Time Series through Stochastic Recurrent Neural Network