-
SkyRL Public
Forked from NovaSky-AI/SkyRLSkyRL: A Modular Full-stack RL Library for LLMs
Python UpdatedJun 28, 2025 -
SkyThought Public
Forked from NovaSky-AI/SkyThoughtSky-T1: Train your own O1 preview model within $450
-
mathconstruct Public
Forked from eth-sri/mathconstructMathConstruct: Challenging LLM Reasoning with Constructive Proofs
Python MIT License UpdatedMar 26, 2025 -
To-CoT-or-not-to-CoT Public
Forked from Zayne-sprague/To-CoT-or-not-to-CoTPython UpdatedFeb 27, 2025 -
s1 Public
Forked from simplescaling/s1s1: Simple test-time scaling
Python Apache License 2.0 UpdatedFeb 21, 2025 -
-
-
bigcode-evaluation-harness Public
Forked from bigcode-project/bigcode-evaluation-harnessA framework for the evaluation of autoregressive code generation language models.
Python Apache License 2.0 UpdatedDec 16, 2024 -
-
skypilot Public
Forked from skypilot-org/skypilotSkyPilot: Run AI and batch jobs on any infra (Kubernetes or 12+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.
Python Apache License 2.0 UpdatedOct 2, 2024 -
verifiable-controllers Public
Forked from anvil-verifier/anvilThis is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
Rust Other UpdatedMar 30, 2023
{{ message }}