New state-of-the-art bounds for open problems
☆126Apr 12, 2026Updated 6 months ago
Alternatives and similar repositories for EinsteinArena-new-SOTA
Users that are interested in EinsteinArena-new-SOTA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- What LLMs Think When You Don’t Tell Them What to Think About?☆15Feb 4, 2026Updated 9 months ago
- Automated auditing pipeline for LLM and agent benchmarks — surfaces task ambiguity, environment conflicts, and evaluation bugs.☆17May 27, 2026Updated 5 months ago
- Codex /goal clone for Pi☆14Jun 12, 2026Updated 4 months ago
- AppMap client agent for Node.js☆13Updated this week
- ☆56Apr 5, 2026Updated 6 months 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.
- End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equat…☆17Sep 9, 2026Updated last month
- ☆31Mar 13, 2026Updated 7 months ago
- ⚠️ Moved to https://github.com/ogulcancelik/pi-extensions/tree/main/packages/pi-web-browse☆18Mar 17, 2026Updated 7 months ago
- ☆653May 24, 2026Updated 5 months ago
- ☆20Oct 22, 2026Updated last week
- Documentation retrieval system to help LLMs navigate less-popular (yet often more powerful) Python libraries☆14May 13, 2024Updated 2 years ago
- a minimalistic coding agent☆13May 21, 2026Updated 5 months ago
- llm-powered theorem proving for isabelle/hol☆17Jul 22, 2026Updated 3 months ago
- ☆12May 30, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Outputs from the Deep Writer☆16Sep 11, 2024Updated 2 years ago
- An ARC-AGI solution using Agentica from Symbolica☆310Feb 12, 2026Updated 8 months ago
- Zero-config studio for Cloudflare D1, local or remote☆20Oct 4, 2026Updated 3 weeks ago
- Open, free database of user submitted data for LLM hardware benchmarks.☆13Dec 26, 2025Updated 10 months ago
- Official Implementation of Knowledge Flow Prompting☆35Oct 20, 2025Updated last year
- ☆25Sep 3, 2024Updated 2 years ago
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆15Feb 20, 2022Updated 4 years ago
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- ☆21Jan 14, 2026Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Code repository for "Uncovering simultaneous breakthroughs with a robust measure of disruptiveness" paper☆11Apr 1, 2026Updated 7 months ago
- A transformer that executes a one-instruction Turing-complete computer — two approaches: hand-coded weights (no training) and learned fro…☆44Mar 3, 2026Updated 8 months ago
- Official code and dataset for our paper: RefineBench: Evaluating Refinement Capability of Language Models via Checklists☆16Dec 1, 2025Updated 11 months ago
- Official code, models, and dataset for NeuRIP 2026 paper "Evolution Fine-Tuning (EFT): Learning to Discover Across 371 Optimization Tasks…☆30Jun 30, 2026Updated 4 months ago
- ALMA (Automated meta-Learning of Memory designs for Agentic systems) is a framework that meta-learns memory designs to replace human-engi…☆298Oct 12, 2026Updated 3 weeks ago
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 2026Updated 7 months ago
- The official repository of "Position: Agentic Evolution is the Path to Evolving LLMs".☆839Aug 22, 2026Updated 2 months ago
- ☆145Aug 12, 2026Updated 2 months ago
- ☆10Nov 1, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Jun 25, 2025Updated last year
- AI-Driven Scientific, Algorithmic, and Systems Discovery☆732Sep 14, 2026Updated last month
- ☆10Nov 8, 2022Updated 3 years ago
- FrontierSmith, a new system that uses AI to synthesize open-ended coding problems at scale☆84Oct 17, 2026Updated 2 weeks ago
- Lights, Cameras, (GitHub) Actions!☆17Updated this week
- A 2MB sklearn classifier on consumer CPU beats Cohere's $10M+ 218B MoE on HumanEval☆13Oct 18, 2026Updated 2 weeks ago
- [ICLR 26] The official code repository for the paper "Mirage or Method? How Model–Task Alignment Induces Divergent RL Conclusions".☆19Feb 9, 2026Updated 8 months ago