☆26Apr 6, 2026Updated last month
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
- LODA Programs for Integer Sequences☆38Updated this week
- Runtime and miner for the LODA language written in C++☆29Mar 18, 2026Updated last month
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated 11 months ago
- [AAAI 24] GradTree: Gradient-Based Axis-Aligned Decision Trees☆15Aug 28, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Dec 31, 2023Updated 2 years ago
- ☆24Dec 9, 2020Updated 5 years ago
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated 4 months ago
- symbolic regression☆40Jul 20, 2022Updated 3 years ago
- Lean 形式化数学☆18Dec 20, 2025Updated 4 months ago
- Tool to analyse the import structure of lean projects.☆20Apr 17, 2026Updated 2 weeks ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- Fast IdEntification of State-of-The-Art models using adaptive bandit algorithms☆14Jul 15, 2022Updated 3 years ago
- ☆27Sep 11, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆63Apr 28, 2026Updated last week
- Reproduction of 'Analysing Mathematical Reasoning Abilities of Neural Models' Saxton et. al. 2019☆12Dec 8, 2022Updated 3 years ago
- ☆14Jun 25, 2024Updated last year
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Try HopWeaver: The first automatic synthesis framework based on any corpora, with quality approaching manual annotation.☆26Apr 7, 2026Updated 3 weeks ago
- A collection of recent open-source math datasets for training and evaluating Math LLMs☆28Apr 26, 2026Updated last week
- ☆16Jul 29, 2024Updated last year
- Tools for reverse engineering LEGO MINDSTORMS and related products.☆16Oct 11, 2019Updated 6 years ago
- Alpino in Docker☆10Apr 16, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- ☆10Jul 22, 2020Updated 5 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Exploring the space of all possible programs☆26Jan 9, 2014Updated 12 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Metrical position in Greek hexameter.☆13Apr 12, 2026Updated 3 weeks ago
- ☆13Dec 25, 2023Updated 2 years ago
- 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 5 months ago
- TPTP linear logic version☆15Jan 27, 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.
- Reproduction of "Latent Weights Do Not Exist: Rethinking Binarized Neural Network Optimization" for the Reproducibility challenge@NeurIPS…☆11Jan 14, 2020Updated 6 years ago
- Symbolic regression by uniform random global search☆13Jul 6, 2023Updated 2 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- A slick numerics-oriented Mathematical library for Java☆24Jul 12, 2025Updated 9 months ago
- Easily benchmark Machine Learning models on selected tasks and datasets☆16May 22, 2023Updated 2 years ago
- (ICLR 2025) Mitigating Information Loss in Tree-Based Reinforcement Learning via Direct Optimization☆30Sep 5, 2024Updated last year
- 使用vue.js前后端分离开发微信公众号内部使用的h5网页☆13Jan 5, 2023Updated 3 years ago