☆25Apr 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 27, 2026Updated last week
- Java implementations of sequences in the OEIS☆75Jun 26, 2026Updated last week
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆30May 20, 2025Updated last year
- ☆13Dec 31, 2023Updated 2 years ago
- 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.
- Write formal proofs in natural language and LaTeX.☆49Dec 18, 2025Updated 6 months 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 6 months ago
- Lean 形式化数学☆18Dec 20, 2025Updated 6 months ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- Three.js scripts used in Tungsteno☆11Jan 4, 2022Updated 4 years ago
- ☆27Sep 11, 2024Updated last year
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆64Apr 28, 2026Updated 2 months ago
- Reproduction of 'Analysing Mathematical Reasoning Abilities of Neural Models' Saxton et. al. 2019☆12Dec 8, 2022Updated 3 years ago
- A persistent datastore backed by RocksDB with fuzzy key lookup using an arbitrary distance function accelerated by the SymSpell algorithm☆14May 9, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Implementation of the Hierarchical Reasoning Model (HRM), applied to a pathfinding task, plus performance study.☆33Sep 9, 2025Updated 9 months ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆15Jul 29, 2024Updated last year
- Alpino in Docker☆11Apr 16, 2026Updated 2 months ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Sources of the EuroProofNet web site.☆13Jun 12, 2026Updated 3 weeks ago
- 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Data-Centric Perspective on Evaluating Machine Learning Models for Tabular Data☆16Aug 26, 2024Updated last year
- Metrical position in Greek hexameter.☆13Jun 25, 2026Updated last week
- ☆12Dec 25, 2023Updated 2 years ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Nov 9, 2023Updated 2 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆27Jun 26, 2026Updated last week
- ACSets: Algebraic databases as in-memory data structures☆30Jun 10, 2026Updated 3 weeks ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- A slick numerics-oriented Mathematical library for Java☆27Jul 12, 2025Updated 11 months ago
- Easily benchmark Machine Learning models on selected tasks and datasets☆16May 22, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Official repo for ICML25 paper: DCBM: Data-Efficient Visual Concept Bottleneck Models☆31Sep 16, 2025Updated 9 months ago
- A python control interface to play games and control your PC using voice commands☆17Jun 21, 2022Updated 4 years ago
- Abstraction and Reasoning Corpus☆14Nov 22, 2022Updated 3 years ago
- Code for the 2-simplicial Transformer paper☆21Jan 16, 2020Updated 6 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Jun 11, 2026Updated 3 weeks ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Jul 5, 2024Updated 2 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 8 years ago