Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports
☆26Jun 8, 2026Updated 4 months ago
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:
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 2 weeks ago
- ☆40Sep 27, 2026Updated 3 weeks ago
- ☆16Aug 26, 2026Updated last month
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this 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.
- solving nethack together! @:@:@:@:@☆26Oct 2, 2026Updated 3 weeks ago
- Agent-native CLI framework for Rust☆19Sep 29, 2026Updated 3 weeks ago
- ☆104Jul 17, 2026Updated 3 months ago
- Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under constructio…☆56Updated this week
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools☆15Apr 9, 2025Updated last year
- RedlineBench: a benchmark for AI contract redlining. Dataset on HuggingFace (crosbylegal/RedlineBench).☆27Oct 2, 2026Updated 3 weeks ago
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Oct 15, 2026Updated last week
- ☆35Sep 2, 2026Updated last month
- ☆10Nov 6, 2024Updated last year
- ☆13Oct 12, 2025Updated last year
- Solidity snippets for integrating and using Uniswap v4, a fork of solidity-by-example☆13May 31, 2024Updated 2 years ago
- Using GRPO and a modified compositional reward function to train an opensource model on the 1890 Dakota Dictionary☆14Updated this week
- Accounts on any chain and platform, from a passkey.☆39Oct 16, 2026Updated last week
- a benchmark to evaluate the situated inductive reasoning☆20Jan 7, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A semantic, transactional, replayable MCP control plane that lets autonomous AI agents operate Dwarf Fortress as a long-lived civilizatio…☆24Updated this week
- Use the EVM cache state to shim transient storage☆19Feb 9, 2023Updated 3 years ago
- A lightweight computational physics framework, based on the organization of turboWAVE. Implements a "Simulation, PhysicsModule, ComputeTo…☆12Jul 23, 2026Updated 3 months ago
- Systematic extraction and analysis of every testable AI claim Gary Marcus made on his Substack (2022-2026). Dual-pipeline analysis by Cla…☆29Mar 4, 2026Updated 7 months ago
- ☆20Updated this week
- ☆16Apr 15, 2023Updated 3 years ago
- Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…☆15Feb 8, 2023Updated 3 years ago
- Lean formalization of bounded gaps between primes☆44Aug 18, 2026Updated 2 months ago
- A web engine prototype with a modular architecture and support for formal verification☆33Updated this 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.
- Yul ERC20☆19Nov 5, 2022Updated 3 years ago
- Generates vanity wallet and contract addresses for Ethereum☆14Mar 10, 2024Updated 2 years ago
- ☆17Jul 20, 2023Updated 3 years ago
- ☆14Oct 7, 2026Updated 2 weeks ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- ☆35Jul 20, 2026Updated 3 months ago