☆714May 2, 2026Updated last week
Alternatives and similar repositories for superhuman
Users that are interested in superhuman are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12May 30, 2025Updated 11 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- FROM $f(x)$ AND $g(x)$ TO $f(g(x))$: LLMs Learn New Skills in RL by Composing Old Ones☆66Jan 26, 2026Updated 3 months ago
- [ICML 2025] M-STAR (Multimodal Self-Evolving TrAining for Reasoning) Project. Diving into Self-Evolving Training for Multimodal Reasoning☆74Jul 13, 2025Updated 9 months ago
- ☆13Aug 29, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆15Apr 26, 2025Updated last year
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆228Apr 20, 2026Updated 2 weeks ago
- Dynamic Telegram Trading Bot☆20Feb 21, 2025Updated last year
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆19Feb 19, 2026Updated 2 months ago
- Greek/English version of Euclid's Elements☆50Mar 4, 2026Updated 2 months ago
- [NeurIPS 2025] RL Tango: Reinforcing Generator and Verifier Together for Language Reasoning☆54Oct 23, 2025Updated 6 months ago
- The official implementation of HybridNorm: Towards Stable and Efficient Transformer Training via Hybrid Normalization☆19Mar 7, 2025Updated last year
- Post processing library used to analyze memory snapshots☆29Apr 8, 2026Updated last month
- General neural tactic for Lean 4☆26May 1, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models>☆77Jan 8, 2026Updated 4 months ago
- Retrieval-Augmented Theorem Provers for Lean☆323Jan 30, 2025Updated last year
- ☆75Mar 25, 2026Updated last month
- Code for "What really matters in matrix-whitening optimizers?"☆23Oct 31, 2025Updated 6 months ago
- Brain Interpreter and Visualizer Online.☆10Sep 1, 2016Updated 9 years ago
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 2 years ago
- Build AI agents with Google's Agent Development Kit (ADK). 20 modules from basics to advanced topics.☆27Dec 8, 2025Updated 5 months ago
- Official Implementation of "Maximum Likelihood Reinforcement Learning (MaxRL)"☆177Mar 15, 2026Updated last month
- Youtu-VL: Unleashing Visual Potential via Unified Vision-Language Supervision☆153Feb 6, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆14Apr 16, 2025Updated last year
- From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning.☆25Oct 7, 2025Updated 7 months ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆45Apr 22, 2026Updated 2 weeks ago
- Official Implementation for the paper "VisCodex: Unified Multimodal Code Generation via Merging Vision and Coding Models"☆22Aug 14, 2025Updated 8 months ago
- Repository for Skill Set Optimization☆14Jul 26, 2024Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆41Sep 7, 2025Updated 8 months ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆128Nov 25, 2025Updated 5 months ago
- ☆1,582Dec 1, 2025Updated 5 months ago
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Waffer-thin FlaskGPT on Vercel.☆12Jun 1, 2023Updated 2 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆13Jul 16, 2024Updated last year
- Verified efficient algorithms in Lean4.☆38Jan 3, 2026Updated 4 months ago
- 💻 Terminal-Agent with Human-in-the-Loop Learning☆39Jan 16, 2026Updated 3 months ago
- ☆16Jul 29, 2024Updated last year
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- A framework bridging cognitive science and LLM reasoning research to diagnose and improve how large language models reason, based on anal…☆38Nov 26, 2025Updated 5 months ago