☆26Apr 6, 2026Updated 2 months ago
Alternatives and similar repositories for oeis-synthesis
Users that are interested in oeis-synthesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Jan 19, 2023Updated 3 years ago
- Runtime and miner for the LODA language written in C++☆27Jun 7, 2026Updated last week
- Java implementations of sequences in the OEIS☆74Updated this week
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆30May 20, 2025Updated last year
- [AAAI 24] GradTree: Gradient-Based Axis-Aligned Decision Trees☆15Aug 28, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Dec 31, 2023Updated 2 years ago
- Write formal proofs in natural language and LaTeX.☆48Dec 18, 2025Updated 5 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- symbolic regression☆40Jul 20, 2022Updated 3 years ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- ☆27Sep 11, 2024Updated last year
- Homepage of the Lean-zh website.☆58Apr 8, 2026Updated 2 months ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆64Apr 28, 2026Updated last month
- Reproduction of 'Analysing Mathematical Reasoning Abilities of Neural Models' Saxton et. al. 2019☆12Dec 8, 2022Updated 3 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.
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆51Feb 2, 2025Updated last year
- Implementation of the Hierarchical Reasoning Model (HRM), applied to a pathfinding task, plus performance study.☆33Sep 9, 2025Updated 9 months ago
- Write LaTeX presentations directly from Lean4~☆27Dec 28, 2025Updated 5 months ago
- ☆14Jun 25, 2024Updated last year
- Improved image classification using a modified LIME framework, enabling user-driven hierarchical feature analysis through the integration…☆17Dec 9, 2025Updated 6 months ago
- Try HopWeaver: The first automatic synthesis framework based on any corpora, with quality approaching manual annotation.☆27Apr 7, 2026Updated 2 months ago
- ☆15Jul 29, 2024Updated last year
- Tools for reverse engineering LEGO MINDSTORMS and related products.☆16Oct 11, 2019Updated 6 years ago
- Alpino in Docker☆11Apr 16, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Exploring the space of all possible programs☆26Jan 9, 2014Updated 12 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Compute a definite integral using Simpson's Rule with adaptive quadrature☆23Mar 17, 2017Updated 9 years ago
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆41May 19, 2026Updated 3 weeks ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆27Updated this week
- Home page for jaanga.github.io - your 3D happy place. Explore ways of demonstrating STEM topics with beginner level code. Provide many s…☆20Nov 29, 2025Updated 6 months ago
- TPTP linear logic version☆15Jan 27, 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.
- ACSets: Algebraic databases as in-memory data structures☆30Updated this week
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Official repo for ICML25 paper: DCBM: Data-Efficient Visual Concept Bottleneck Models☆30Sep 16, 2025Updated 8 months ago
- Abstraction and Reasoning Corpus☆14Nov 22, 2022Updated 3 years ago
- Code for the 2-simplicial Transformer paper☆21Jan 16, 2020Updated 6 years ago
- ☆13Mar 27, 2024Updated 2 years ago
- ☆21Jun 5, 2026Updated last week