☆76Apr 26, 2026Updated 2 months ago
Alternatives and similar repositories for sgs
Users that are interested in sgs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Storing the LongCoT-mini results for RLM(GPT-5.2)☆20Apr 26, 2026Updated 2 months ago
- ☆66Updated this week
- Code for the paper Multi-Stream LLMs: Unblocking Language Models with Parallel Streams of Thoughts, Inputs and Outputs☆63Jun 23, 2026Updated 3 weeks ago
- ☆63Jul 3, 2026Updated last week
- Stable Looped Models and their Scaling Laws☆169May 17, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Shaping capabilities with token-level pretraining data filtering☆94Jan 28, 2026Updated 5 months ago
- [NeurIPS D&B Track 2024] Source code for the paper "Constrained Human-AI Cooperation: An Inclusive Embodied Social Intelligence Challenge…☆25May 2, 2025Updated last year
- CoEvolve: Training LLM Agents via Agent-Data Mutual Evolution☆19Apr 27, 2026Updated 2 months ago
- ☆80Jan 20, 2026Updated 5 months ago
- Implementation of GEFA: Early Fusion Approach in Drug-Target Affinity Prediction☆22Sep 30, 2020Updated 5 years ago
- Reproducing GPT on the TinyStories dataset☆19Jan 18, 2024Updated 2 years ago
- Lean4 benchmark on 1 category.☆27Jun 19, 2026Updated 3 weeks ago
- ☆34Feb 1, 2026Updated 5 months ago
- This is an official implementation of the Reward rAnked Fine-Tuning Algorithm (RAFT), also known as iterative best-of-n fine-tuning or re…☆42Sep 22, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Generative Modeling via Drifting in MLX☆43Feb 6, 2026Updated 5 months ago
- ☆31Jul 16, 2025Updated 11 months ago
- Formalization of IMO shortlist problems in Lean 4☆25May 2, 2026Updated 2 months ago
- a novel self-evolving paradigm, without task, reward, or complex workflow☆36May 12, 2026Updated 2 months ago
- ☆22Jan 29, 2026Updated 5 months ago
- Official code for the paper "Compositional Generalization from First Principles" (NeurIPS 2023)☆15Jul 25, 2023Updated 2 years ago
- Official Implementation of "Maximum Likelihood Reinforcement Learning (MaxRL)"☆196May 28, 2026Updated last month
- Code for `LLM2VEC-GEN: Generative Embeddings from Large Language Models`☆72Apr 5, 2026Updated 3 months ago
- Rethinking the Trust Region in LLM Reinforcement Learning☆61Mar 2, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A DSPy Adapter for exact-fidelity prompt templates with full control over messages.☆51Feb 23, 2026Updated 4 months ago
- ☆57Oct 23, 2023Updated 2 years ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆34Oct 8, 2025Updated 9 months ago
- WybeCoder Verified Generation of Imperative Code with LLMs☆36May 6, 2026Updated 2 months ago
- ☆45Oct 2, 2025Updated 9 months ago
- The best ChatGPT that $100 can buy.☆54Updated this week
- A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 20…☆41Jun 6, 2026Updated last month
- Information and artifacts for "LoRA Learns Less and Forgets Less" (TMLR, 2024)☆22Sep 27, 2024Updated last year
- LeanArchitect extracts a blueprint directly from Lean source.☆61Jun 20, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Formalization of the Millennium Problems in Lean 4☆55Updated this week
- DeepSeek 4 Flash local inference engine for Metal and CUDA with M5 optimizations.☆20May 24, 2026Updated last month
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆20May 25, 2023Updated 3 years ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆87May 13, 2026Updated 2 months ago
- Implementation of the LDP module block in PyTorch and Zeta from the paper: "MobileVLM: A Fast, Strong and Open Vision Language Assistant …☆15Mar 11, 2024Updated 2 years ago
- Mixture of Cognitive Reasoners: Modular Reasoning with Brain-Like Specialization☆46Feb 7, 2026Updated 5 months ago
- ☆18May 10, 2024Updated 2 years ago