■ Block 01 / research
Research
Foundations other work depends on. Each entry explains what it is, why it is load-bearing, its open problems, and a reviewed timeline of progress.
Foundations other work depends on. Each entry explains what it is, why it is load-bearing, its open problems, and a reviewed timeline of progress.
A proof assistant and the community library of formalized mathematics built on it.
The dominant open-source deep learning framework: tensors, autograd and a compiler stack.
The shared environments and statistics used to compare RL agents: the Arcade Learning Environment and its 100k-step variant for sample efficiency, ProcGen for generalisation, rliable for intervals.