☆25Jan 27, 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:
- Runtime and miner for the LODA language written in C++☆28Mar 18, 2026Updated last week
- LODA Programs for Integer Sequences☆38Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- Java implementations of sequences in the OEIS☆71Updated this week
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆27May 20, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆13Dec 31, 2023Updated 2 years ago
- code for Towards Data Science article on prompt-loss-weight☆11Jun 4, 2025Updated 9 months ago
- Write formal proofs in natural language and LaTeX.☆48Dec 18, 2025Updated 3 months ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Feb 2, 2025Updated last year
- ☆24Dec 9, 2020Updated 5 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- symbolic regression☆40Jul 20, 2022Updated 3 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆119Updated this week
- zero-code hyperparameters optimization framework☆14Jan 25, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tool to analyse the import structure of lean projects.☆19Mar 10, 2026Updated 2 weeks ago
- ☆27Sep 11, 2024Updated last year
- Code repository for the paper "Towards a Comprehensive Evaluation of Dimension Reduction Methods for Data Visualization"☆13Jul 4, 2024Updated last year
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆62Jan 11, 2026Updated 2 months ago
- Reproduction of 'Analysing Mathematical Reasoning Abilities of Neural Models' Saxton et. al. 2019☆12Dec 8, 2022Updated 3 years ago
- Code to support the guide to logical induction for software engineers☆11Mar 24, 2025Updated last year
- A persistent datastore backed by RocksDB with fuzzy key lookup using an arbitrary distance function accelerated by the SymSpell algorithm☆14May 9, 2024Updated last year
- A collection of recent open-source math datasets for training and evaluating Math LLMs☆24Dec 8, 2025Updated 3 months ago
- Implementation of the Hierarchical Reasoning Model (HRM), applied to a pathfinding task, plus performance study.☆32Sep 9, 2025Updated 6 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Agent Skill Induction: "Inducing Programmatic Skills for Agentic Tasks"☆39Apr 24, 2025Updated 11 months ago
- Write LaTeX presentations directly from Lean4~☆24Dec 28, 2025Updated 2 months ago
- Improved image classification using a modified LIME framework, enabling user-driven hierarchical feature analysis through the integration…☆17Dec 9, 2025Updated 3 months ago
- Try HopWeaver: The first automatic synthesis framework based on any corpora, with quality approaching manual annotation.☆24Jul 24, 2025Updated 8 months ago
- Alpino in Docker☆10Nov 19, 2025Updated 4 months ago
- Kerr Scala Extensions for Scala 3☆19Feb 19, 2026Updated last month
- implementation of OEIS sequences☆11Nov 30, 2016Updated 9 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Exploring the space of all possible programs☆27Jan 9, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A Data-Centric Perspective on Evaluating Machine Learning Models for Tabular Data☆16Aug 26, 2024Updated last year
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- CSV and tab-delimited table reader☆15Aug 27, 2022Updated 3 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Updated this week
- PLLay: Efficient Topological Layer based on Persistence Landscapes☆23Dec 10, 2020Updated 5 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Reproduction of "Latent Weights Do Not Exist: Rethinking Binarized Neural Network Optimization" for the Reproducibility challenge@NeurIPS…☆11Jan 14, 2020Updated 6 years ago