Materials for the AI in Mathematical Research course
☆116Jun 2, 2026Updated 2 months 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:
- ☆24Aug 1, 2026Updated last week
- Efficient Deep Learning Systems course materials☆1,021May 28, 2026Updated 2 months ago
- Just a set of claude/codex skills to be 10x Deevs' engineer☆40Jul 30, 2026Updated last week
- Multi-node distributed LLM training framework☆17Sep 5, 2025Updated 11 months ago
- ☆17Sep 4, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆10Aug 31, 2023Updated 2 years ago
- Architecture pattern for combining a fast LLM voice loop with a slower SLM that tracks hard facts.☆15Apr 27, 2026Updated 3 months ago
- Code repository for the Spring 2024 course Math 76.01 "Mathematics and AI" at Dartmouth College☆12Aug 10, 2024Updated 2 years ago
- Generate the Tracy-Widom distribution functions for beta = 1, 2, or 4 in Python☆10Mar 15, 2025Updated last year
- InstantID for StableDiffusion 1.5.☆11Jul 6, 2024Updated 2 years ago
- Neural model for prediction of stress position in Russian words☆13Jun 22, 2025Updated last year
- Repo for https://t.me/shad_prep☆406Jan 24, 2022Updated 4 years ago
- A curated list of awesome neuroscience libraries, software and any content☆16Feb 3, 2020Updated 6 years ago
- Implementation of Solovay Kitaev Algorithm for approximating any n-qubit gate using gates from library set {H,T,CNOT,S}.☆15Jul 20, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆10Jan 16, 2024Updated 2 years ago
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆19Apr 1, 2026Updated 4 months ago
- SAGE: Spelling correction, corruption and evaluation for multiple languages☆167Dec 8, 2025Updated 8 months ago
- Materials for the LLM Engineering Essentials course☆828Mar 30, 2026Updated 4 months ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 3 months ago
- A Complete Resource to Master Graduate-Level GenAI Mathematics☆15Aug 12, 2025Updated 11 months ago
- Yet another common Python wrapper for Alice and Salut skills and bots in Telegram, VK, and Facebook☆29Mar 16, 2023Updated 3 years ago
- BMM☆13May 21, 2026Updated 2 months ago
- Анализ данных на Python в примерах и задачах☆36Aug 31, 2020Updated 5 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.
- SBT Plugins For ZIO Projects☆14Updated this week
- Papers sources, pictures, presentations, and other stuff☆23Jul 2, 2026Updated last month
- Reinforcement Learning: From Bandits to LLM Alignment — Open textbook with 17 chapters, Colab notebooks, and exercises☆85May 11, 2026Updated 2 months ago
- A workflow managing tool for Machine Learning and Data Science projects☆17Oct 27, 2019Updated 6 years ago
- Constitutive modeling · Deep learning · History-dependent materials · Recurrent neural networks · Viscoelasticity☆20Mar 20, 2025Updated last year
- Antenna Sector Patterns as obtained by Measurements in the CoNEXT'17 paper☆15Jan 24, 2019Updated 7 years ago
- This is the repository for Fair Universe Uncertainty Challenge☆14Oct 30, 2025Updated 9 months ago
- Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)☆29Nov 23, 2018Updated 7 years ago
- Machine Learning for Genomics Course.☆22Feb 15, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Jul 4, 2020Updated 6 years ago
- [Applied Energy] This work proposes an Input Convex LSTM neural network for real-time neural network-based optimization.☆21Mar 21, 2026Updated 4 months ago
- Neural Feature Engineering☆14May 6, 2025Updated last year
- Avito internship test task☆12Aug 2, 2023Updated 3 years ago
- Collaboration of two technologies (Machine Learning and TCAD) to improve the productivity in Semiconductor manufacturing industry☆11May 3, 2019Updated 7 years ago
- GraphQL server using golang in clean architecture☆10Jul 6, 2020Updated 6 years ago
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 5 years ago