AI for Mathematical Problems: An Invitation for Mathematicians
☆37Oct 22, 2026Updated this week
Alternatives and similar repositories for AIM
Users that are interested in AIM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Feb 28, 2025Updated last year
- ☆40Sep 27, 2026Updated 3 weeks ago
- Fractional Brownian Motion package☆11Jun 24, 2022Updated 4 years ago
- dateroll makes working with 📅 dates less painful.☆12Apr 17, 2025Updated last year
- Python library with C++ extensions for simulation, compensator, log-likelihood and intensity function computation for a multivariate Hawk…☆10Sep 25, 2017Updated 9 years 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.
- Parametric estimation of multivariate Hawkes processes with general kernels.☆14May 27, 2024Updated 2 years ago
- Train transformers on synthetic graph search problems to measure their scaling behavior and to do mechanistic analysis.☆10Oct 22, 2025Updated last year
- Disaggregated quantization official codebase☆31Updated this week
- ☆23Oct 18, 2026Updated last week
- Open source agent harness written in Rust☆31Updated this week
- ☆13Jun 21, 2017Updated 9 years ago
- Zero Knowledge dApp created for Harmony Zero Knowledge University Final Project☆15May 6, 2022Updated 4 years ago
- G. Peyré, L. Chizat, F-X. Vialard, J. Solomon, Quantum Optimal Transport for Tensor Field Processing, Arxiv, 2016☆10Apr 13, 2017Updated 9 years ago
- ☆17Jun 18, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Back end for producing indicators and loading them into the COVIDcast API.☆12Sep 18, 2026Updated last month
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- We implement RSQE and HQE simulation schemes from the paper Efficient simulation of affine forward volatility models.☆20Jun 10, 2022Updated 4 years ago
- A formally-verified web frontend framework in Lean 4☆25Sep 23, 2026Updated last month
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- Models That Prove Their Own Correctness☆11Dec 11, 2024Updated last year
- LLMJudge: LLM4Eval workshop data challenge on automatic relevance judgment☆14Jan 6, 2026Updated 9 months ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- Object-oriented programming in Python for mathematicians☆15Updated this week
- 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.
- Scala interfaces to huggingface transformers and tokenizers☆13Sep 25, 2026Updated last month
- A scikit-learn compatible classifier to perform trade classification in Python.☆22Updated this week
- implementation of zig-BUILD lib to python to make working with matrices faster, for fun lets see what is going to happen☆25Apr 12, 2026Updated 6 months ago
- Build structured Proof Blueprints with Verso☆35Updated this week
- Website for the EPFL course PHYS-642: Statistical Physics for Optimization and Learning☆11Sep 27, 2023Updated 3 years ago
- SKEMA: Scientific Knowledge Extraction and Model Analysis☆12May 17, 2024Updated 2 years ago
- ☆18Mar 2, 2026Updated 7 months ago
- ☆14Feb 26, 2024Updated 2 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The OpenAPI Specification Repository☆12Jul 12, 2023Updated 3 years ago
- Kullback-Leibler projections for Bayesian model selection in Python☆46Oct 5, 2026Updated 2 weeks ago
- ☆13Nov 30, 2022Updated 3 years ago
- General Purpose Point Cloud Feature Extractor☆13Mar 1, 2018Updated 8 years ago
- User-space Finite State Machine using (pretty much) Linux kernel functions.☆11Apr 15, 2026Updated 6 months ago
- VitePress Blog&Wiki☆16Oct 19, 2026Updated last week
- Uncertainty quantification using martingales for misspecified Gaussian processes☆10Feb 15, 2021Updated 5 years ago