Erdős Problem #870: paper and sorry-free, axiom-clean Lean 4 formalization.
☆20Jun 26, 2026Updated 2 weeks ago
Alternatives and similar repositories for erdos-870
Users that are interested in erdos-870 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.☆15Jun 26, 2020Updated 6 years ago
- a decentralized dataset generator and manipulator.☆22Updated this week
- Graph Inference on MoLEcular Topology☆26Mar 25, 2023Updated 3 years ago
- Minimal TPU implementation with 8x8 systolic array and PyTorch integration☆64Jan 26, 2026Updated 5 months ago
- Agentic workflow for tackling all open Erdos problems at once.☆33May 10, 2026Updated 2 months ago
- 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.
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- A vanilla implementation of ReAct: Synergizing Reasoning and Acting in Language Models☆17Mar 26, 2025Updated last year
- Dynamically generated stats for your github readmes☆34Jul 1, 2026Updated 2 weeks ago
- ☆12May 23, 2018Updated 8 years ago
- A Rust implementation of the Gravity-post-quantum signature schemes☆20Updated this week
- AI powered Virtual Desktop☆16Updated this week
- ☆62Mar 13, 2026Updated 4 months ago
- ☆81Jun 25, 2026Updated 2 weeks ago
- Kuma a cross-chain wallet that offers seamless management and transfer of assets between EVM and WASM chains.☆12Nov 8, 2024Updated last year
- 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.
- ☆10Mar 31, 2023Updated 3 years ago
- Notes for getting to know the Julia programming language in one day.☆38Feb 19, 2022Updated 4 years ago
- A formal proof of the Riemann Hypothesis for curves☆57Feb 6, 2026Updated 5 months ago
- KernelBench v2: Can LLMs Write GPU Kernels? - Benchmark with Torch -> Triton (and more!) problems☆24Jul 4, 2025Updated last year
- Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports☆22Jun 8, 2026Updated last month
- Tensorflow 2.0 implementation of STAR RNN☆10Jun 7, 2020Updated 6 years ago
- Experiments in protein folding through language modeling☆10Dec 10, 2021Updated 4 years ago
- Binder repository of interactive tutorial notebooks for pyQuil and Forest.☆31Feb 5, 2022Updated 4 years ago
- Unofficially Implements https://arxiv.org/abs/2112.05682 to get Linear Memory Cost on Attention for PyTorch☆12Jan 16, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A framework for implementing equivariant DL☆10May 25, 2021Updated 5 years ago
- Solv@TUM - The Solvation Free Energy Database☆13Mar 31, 2024Updated 2 years ago
- The minimal AI agent engine☆39Jun 13, 2026Updated last month
- This Python script parses Reddit's API to find mentions of stock $tickers to gauge their rising popularity.☆12Mar 16, 2026Updated 3 months ago
- Easy interoperability with Automatic Differentiation libraries through NumPy interface to Firedrake and FEniCS☆15Nov 12, 2023Updated 2 years ago
- Code for "Machine-Learning Non-Conservative Dynamics for New-Physics Detection" (arXiv: 2106.00026)☆14Aug 1, 2021Updated 4 years ago
- Codes uploaded while following The Math of Intelligence course by Siraj Raval on Youtube☆11Jul 15, 2019Updated 6 years ago
- Learning to sort numbers using a LSTM with a modified attention mechanism (Pointer Networks by Vinyals et al.).☆13Jun 21, 2018Updated 8 years ago
- "Stochasticity in Neural ODEs: An Empirical Study". Experiments from the paper☆13Apr 27, 2020Updated 6 years 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.
- Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes☆11Jul 10, 2024Updated 2 years ago
- Agentic framework for physics☆17Jul 1, 2026Updated last week
- Fast and generic implementation of the minhash algorithm☆14Jul 8, 2025Updated last year
- open toolbox for structural comparison☆13Dec 13, 2018Updated 7 years ago
- Aligned Diffusion Schroedinger Bridges (UAI 2023)☆14Sep 18, 2025Updated 9 months ago
- protein backbone refinement☆15Sep 12, 2024Updated last year
- ☆18Jun 18, 2026Updated 3 weeks ago