Materials for the AI in Mathematical Research course
☆113Jun 2, 2026Updated 3 weeks ago
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:
- ☆40Oct 29, 2025Updated 8 months ago
- Sports Analytics Keynotes by Joris Bekkers☆54Aug 4, 2025Updated 10 months ago
- A Streamlit app that uses Respell AI's API to allow you to make calls using AI.☆13Oct 29, 2023Updated 2 years ago
- 2024 University of Reading data assimilation training course practical☆10May 19, 2025Updated last year
- Neural Feature Engineering☆14May 6, 2025Updated last year
- 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.
- Fully nonstationary, heteroscedastic GP for Matlab☆16Jul 25, 2024Updated last year
- Code Examples for the OpenAI series☆14Jul 23, 2023Updated 2 years ago
- Repo for the oreilly course about building agents with gpt assistants api☆19Oct 28, 2025Updated 8 months ago
- Modeling Uncertainty in RNNs for Time Series Forecasting☆14Dec 13, 2017Updated 8 years ago
- Dual optimization to learn laplacian eigenpairs in arbitrary spaces☆18Dec 18, 2024Updated last year
- Mixed integer programming for computing lipschitz constants of ReLU Networks☆17Feb 10, 2023Updated 3 years ago
- Learning Laplacian Representations in Reinforcement Learning☆18Jan 2, 2021Updated 5 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆67May 22, 2026Updated last month
- Chat with Towards Data Science☆14Nov 4, 2023Updated 2 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.
- Train transformer language models with reinforcement learning.☆20Dec 26, 2023Updated 2 years ago
- A production-ready fuzzy matching framework for linking player records across multiple data providers using TF-IDF vectorization and bidi…☆55Mar 6, 2026Updated 3 months ago
- ☆24Feb 5, 2026Updated 4 months ago
- Official PyTorch (Lightning) implementation of the NeurIPS 2020 paper "Efficient Marginalization of Discrete and Structured Latent Variab…☆27May 3, 2021Updated 5 years ago
- ☆17May 28, 2025Updated last year
- Use LLM to help you in your reasearch☆16Jun 13, 2025Updated last year
- Giant directory of public Custom GPTs☆24Dec 3, 2023Updated 2 years ago
- Regional Ocean Forecasting with Hierarchical Graph Neural Networks☆22Aug 7, 2025Updated 10 months ago
- ☆17Apr 3, 2020Updated 6 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.
- Code repository for paper: An ensemble score filter for tracking high-dimensional nonlinear dynamical systems☆21Nov 5, 2024Updated last year
- Rewrite of Andrej Karpathy Micrograd in Rust☆23Jan 22, 2025Updated last year
- This repository contains citation data for papers published in NeurIPS in 2014 - 2018, and ICML 2017, 2018. It also contains the code to …☆23Apr 11, 2019Updated 7 years ago
- ☆17Aug 5, 2025Updated 10 months ago
- Data-Driven Engineering☆24Nov 6, 2024Updated last year
- A framework for evaluating semantic search across custom datasets, metrics, and embedding backends.☆39May 31, 2026Updated last month
- A sketch of a Transformer in Rust for a blog post☆34Apr 1, 2022Updated 4 years ago
- My personal zettelkasten.☆43Mar 5, 2023Updated 3 years ago
- UnravelSports repository to display Football/Soccer tracking data in 3D using Rust & Bevy☆35Apr 2, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆74Jun 13, 2025Updated last year
- [ICDE 2022]Cross-Domain Recommendation to Cold-Start Users via Variational Information Bottleneck☆34Dec 7, 2022Updated 3 years ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆13Nov 27, 2023Updated 2 years ago
- INTeractive learning via REPresentatIon Discovery☆36Jun 2, 2024Updated 2 years ago
- A PyTorch native library for large model training☆30Apr 1, 2026Updated 2 months ago
- ☆21Jun 18, 2026Updated last week
- [arXiv 2026] Official PyTorch Repository for "Coarse-Guided Visual Generation via Weighted h-Transform Sampling"☆42May 8, 2026Updated last month