Fully open reproduction of DeepSeek-R1

Retrieval-Augmented Theorem Provers for Lean

https://albertqjiang.github.io/Portal-to-ISAbelle/

Lean 3 web editor

A repo for distributed training of language models with Reinforcement Learning via Human Feedback (RLHF)

Implementation of RETRO, Deepmind's Retrieval based Attention net, in Pytorch

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Code to reproduce the results in the FAIR research papers "Semi-Supervised Learning of Visual Features by Non-Parametrically Predicting View Assignments with Support Samples" https://arxiv.org/abs/…

Fine-tuned pre-trained GPT2 for custom topic specific text generation. Such system can be used for Text Augmentation.