Verifiers for LLM Reinforcement Learning

Fully open reproduction of DeepSeek-R1

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Code for Quiet-STaR

📐 Jekyll theme for building a personal site, blog, project documentation, or portfolio.

Code for the paper Factorizing Content and Budget Decisions in Abstractive Summarization of Long Documents: https://arxiv.org/abs/2205.12486

Repository for Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions, ACL23

[NeurIPS 2023] Reflexion: Language Agents with Verbal Reinforcement Learning

End-to-End Speech Processing Toolkit

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

The Lean Theorem Proving Environment

an open-source implementation of sequence-to-sequence based speech processing engine

DELTA is a deep learning based natural language and speech processing platform.

A Hierarchical Latent Variable Encoder-Decoder Model for Generating Dialogues (VHRED) - Implementation in Tensorflow

vim theme with crunchbang colours