Stars
Understanding R1-Zero-Like Training: A Critical Perspective
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
Fully open reproduction of DeepSeek-R1
Official Repo for Open-Reasoner-Zero
Learning Formal Mathematics from Intrinsic Motivation
An environment for learning formal mathematical reasoning from scratch
NOrangeeroli / deepclaude
Forked from getAsterisk/deepclaudeA high-performance LLM inference API and Chat UI that integrates DeepSeek R1's CoT reasoning traces with Anthropic Claude models.
A high-performance LLM inference API and Chat UI that integrates DeepSeek R1's CoT reasoning traces with Anthropic Claude models.
An AI-powered research assistant that performs iterative, deep research on any topic by combining search engines, web scraping, and large language models. The goal of this repo is to provide the si…
Fully local web research and report writing assistant
NeuralMMO / environment
Forked from openai/neural-mmoNeural MMO - A Massively Multiagent Environment for Artificial Intelligence Research