Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports
☆22Jun 8, 2026Updated last month
Alternatives and similar repositories for erdosbench
Users that are interested in erdosbench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆56Mar 13, 2026Updated 4 months ago
- ☆10Nov 6, 2024Updated last year
- a benchmark to evaluate the situated inductive reasoning☆16Jan 7, 2025Updated last year
- A self-improving loop for voice AI agents. Uses karpathy's autoresearch as foundation.☆154May 21, 2026Updated last month
- ☆13Apr 16, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A series of high-performance GEMM (General Matrix Multiply) implementations Iteratively optimised for H100 GPUs in Pure CUDA.☆79Feb 18, 2026Updated 4 months ago
- A formal proof of the Riemann Hypothesis for curves☆57Feb 6, 2026Updated 5 months ago
- Deep Learning to Predict MLB Outcomes☆11Aug 23, 2023Updated 2 years ago
- Erdős Problem #870: paper and sorry-free, axiom-clean Lean 4 formalization.☆20Jun 26, 2026Updated 2 weeks ago
- Unofficial terminal dashboard for Claude Code usage analytics - Monitor tokens, costs, projects, and todos with real-time insights☆21Jul 23, 2025Updated 11 months ago
- Code implementation for paper AbsenceBench: Language Models Can't Tell What's Missing☆19Oct 23, 2025Updated 8 months ago
- Yet another useless cat here..☆23Jul 6, 2026Updated last week
- ☆31Jan 17, 2026Updated 5 months ago
- ☆38Jun 7, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Measuring General Intelligence With Generated Games (Preprint)☆25Jul 30, 2025Updated 11 months ago
- ☆13Jun 23, 2026Updated 3 weeks ago
- ☆12Feb 18, 2024Updated 2 years ago
- Minimal implementation of a Byte Pair Encoding (BPE) tokenizer in Zig☆15Apr 7, 2025Updated last year
- Open-source interface to a user's defaults on macOS. Available as both a CLI and a library.☆15Dec 21, 2025Updated 6 months ago
- ☆30Oct 24, 2025Updated 8 months ago
- Yazi plugin to paste clipboard content to file.☆18Updated this week
- An algorithmic web scraper for identifying positive EV sports bets, complete with historical betting data and notifications.☆24Sep 28, 2023Updated 2 years ago
- Formal geometric problem solver based on FormalGeo.☆19Apr 18, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A semidefinite programming solver for clustered low-rank SDPs☆17Jul 2, 2026Updated last week
- ☆23May 22, 2026Updated last month
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Minimal TPU implementation with 8x8 systolic array and PyTorch integration☆64Jan 26, 2026Updated 5 months ago
- 🐶 Soothing pastel theme for Kagi☆11May 31, 2023Updated 3 years ago
- Protocol translation proxy — converts OpenAI Responses API to Chat Completions API, enabling Codex to use DeepSeek or any OpenAI-compatib…☆24Jun 21, 2026Updated 3 weeks ago
- ☆13Jul 8, 2024Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 3 years ago
- Open source tools for AI assisted development☆39Dec 1, 2025Updated 7 months ago
- A python library for checking if an email is issued by an academic institution. Useful for granting discounts, etc to academic users.☆15Feb 16, 2016Updated 10 years ago
- Exploring how optimizations for GEMMs work☆36Feb 28, 2026Updated 4 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- ☕️ Bringing a hot cup of joe to terminals everywhere☆14Jul 3, 2026Updated last week