Materials for the AI in Mathematical Research course
☆113Jun 2, 2026Updated last week
Alternatives and similar repositories for ai-in-math-course
Users that are interested in ai-in-math-course are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Jul 17, 2023Updated 2 years ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆75Apr 20, 2026Updated last month
- ☆11Mar 13, 2021Updated 5 years ago
- MDL Complexity computations and experiments from the paper "Revisiting complexity and the bias-variance tradeoff".☆18Jun 12, 2023Updated 2 years ago
- Materials related to the 2024-2025 mini course on Probabilistic Models and Bayesian Methods at the Faculty of Finance at Kharazmi Univers…☆26Jun 12, 2025Updated 11 months 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.
- Calculate observables from neural network-based VMC (NN-VMC).☆19Apr 16, 2025Updated last year
- A Streamlit app that uses Respell AI's API to allow you to make calls using AI.☆13Oct 29, 2023Updated 2 years ago
- Dual optimization to learn laplacian eigenpairs in arbitrary spaces☆18Dec 18, 2024Updated last year
- A short introduction to SageMath☆20Jan 19, 2026Updated 4 months ago
- A basic implementation of the paper Eigengame : PCA as a Nash Equilibrium☆21Jun 7, 2021Updated 5 years ago
- Canonical Correlation Forests☆21Sep 14, 2018Updated 7 years ago
- Chat with Towards Data Science☆14Nov 4, 2023Updated 2 years ago
- Official PyTorch implementation of NeuralSVD (ICML 2024)☆25Sep 14, 2024Updated last year
- Train transformer language models with reinforcement learning.☆20Dec 26, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A production-ready fuzzy matching framework for linking player records across multiple data providers using TF-IDF vectorization and bidi…☆54Mar 6, 2026Updated 3 months ago
- A Personal Assistant leveraging Retrieval-Augmented Generation (RAG) and the LLaMA-3.1-8B-Instant Large Language Model (LLM). This tool i…☆30Nov 26, 2025Updated 6 months ago
- A sample rss aggregator application demonstrating the use of Cohere Embeddings☆17Feb 11, 2026Updated 3 months ago
- ☆24Apr 25, 2025Updated last year
- A Chrome Extension that displays your bookmarks by date in a sortable searchable table☆20Oct 21, 2021Updated 4 years ago
- Scratch Extension for Roland GO:KEYS☆25Dec 9, 2020Updated 5 years ago
- Rewrite of Andrej Karpathy Micrograd in Rust☆23Jan 22, 2025Updated last year
- GitHub Action for building an ARM Template from Bicep☆13Jun 18, 2022Updated 3 years ago
- Introduction to Command-line tools with Python and Rust☆31Jan 10, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Open source code for EigenGame.☆35May 15, 2023Updated 3 years ago
- Conditional calibration of conformal p-values for outlier detection.☆37Nov 15, 2022Updated 3 years ago
- ☆21Apr 21, 2026Updated last month
- UnravelSports repository to display Football/Soccer tracking data in 3D using Rust & Bevy☆33Apr 2, 2025Updated last year
- A high-throughput and memory-efficient inference and serving engine for LLMs☆13Nov 27, 2023Updated 2 years ago
- ☆44Mar 30, 2026Updated 2 months ago
- A PyTorch native library for large model training☆30Apr 1, 2026Updated 2 months ago
- Retryable HTTP client in Go☆14Apr 2, 2023Updated 3 years ago
- [arXiv 2026] Official PyTorch Repository for "Coarse-Guided Visual Generation via Weighted h-Transform Sampling"☆42May 8, 2026Updated last month
- 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.
- LangBot Extension Infra including plugin runtime, SDK, sandbox and CLI tools.☆22Updated this week
- AI agent platform for building multi-agent systems with orchestration, memory, RAG, workflows, and enterprise observability.☆38Oct 27, 2025Updated 7 months ago
- ☆15Oct 22, 2025Updated 7 months ago
- The official code of "PixelWorld: Towards Perceiving Everything as Pixels" [TMLR25]☆16Sep 12, 2025Updated 8 months ago
- DragMesh: Interactive 3D Generation Made Easy☆22Jun 2, 2026Updated last week
- Blockscout Docker image☆10Apr 29, 2020Updated 6 years ago
- Tools for building and testing Swift package registry server that implements SE-0292 and SE-0321☆12Jul 23, 2024Updated last year