The open-source visual AI programming environment and TypeScript library

Implementation of Memorizing Transformers (ICLR 2022), attention net augmented with indexing and retrieval of memories using approximate nearest neighbors, in Pytorch

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Lean 3's obsolete mathematical components library: please use mathlib4

The math library of Lean 4

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…

The Abstraction and Reasoning Corpus

An obsolete python library which gathers statistics and relational information about Lean 3 libraries.

Lean 4 programming language and theorem prover

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

Lean Theorem Prover

Bug-free machine learning on stochastic computation graphs