Materials for the AI in Mathematical Research course
☆122Jun 2, 2026Updated 4 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:
- Deevs' dotfiles☆20Oct 19, 2026Updated last week
- The project to find correlation between tweets and future stock prices☆13Feb 28, 2023Updated 3 years ago
- ☆31Oct 2, 2026Updated 3 weeks ago
- Efficient Deep Learning Systems course materials☆1,049May 28, 2026Updated 5 months ago
- Just a set of claude/codex skills to be 10x Deevs' engineer☆41Jul 30, 2026Updated 3 months 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.
- RuBLiMP: Russian Benchmark of Linguistic Minimal Pairs☆21Feb 8, 2026Updated 8 months ago
- Python-native hierarchical configuration management with Pydantic. Like Hydra, but for YAML-haters.☆10Nov 13, 2025Updated 11 months ago
- ☆17Sep 4, 2022Updated 4 years ago
- Implement a class in C++ that allows you to create integers of arbitrary size.☆13Oct 28, 2013Updated 13 years ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 5 months ago
- ☆35Jul 18, 2022Updated 4 years ago
- Repo for https://t.me/shad_prep☆418Jan 24, 2022Updated 4 years ago
- Repository for the code of our ICLR paper: Backpropagation through Combinatorial Algorithms: Identity with Projection Works☆13Sep 29, 2024Updated 2 years ago
- R package for Multisource Embeddings for Medical Records☆17Aug 28, 2021Updated 5 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.
- Tools for gathering and analyzing Reddit data using LLMs - much simplified version of the Reddit Answers.☆68May 10, 2025Updated last year
- The Code for Homeomorphic Projection☆14Sep 21, 2023Updated 3 years ago
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 2 months ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 3 weeks ago
- Course on Recommender Systems conducted at the Faculty of Computer Science, National Research University - Higher School of Economics. Ac…☆287Oct 7, 2026Updated 3 weeks ago
- Material for advanced epidemiology module in MPH☆14Apr 15, 2026Updated 6 months ago
- [NeurIPS 2025, spotlight] Official implementation of the paper "Color conditional generation with Sliced-Wasserstein Guidance"☆34Dec 5, 2025Updated 10 months ago
- Скрипты для загрузки исторических данных для Deribit☆10Jan 11, 2025Updated last year
- Interactive notebook introducing the matrix exponential and matrix Lie groups, from the Quantum Formalism lecture series.☆12Apr 17, 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.
- Bridging the gap between mathematical courses and ML☆58Nov 18, 2024Updated last year
- Data Science Resources for interview preparation and learning☆170Updated this week
- Jupyter тетрадка с решением Kaggle соревнования Alfa Campus☆10Oct 22, 2023Updated 3 years ago
- SAGE: Spelling correction, corruption and evaluation for multiple languages☆167Dec 8, 2025Updated 10 months ago
- ☆22Aug 17, 2026Updated 2 months ago
- A PyTorch implimentation of a conditional Dynamical Variational Autoencoder for remaining useful life estimation☆13Sep 20, 2023Updated 3 years ago
- ☆10Jan 16, 2024Updated 2 years ago
- ☆17Jun 22, 2024Updated 2 years ago
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆19Jul 20, 2026Updated 3 months 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.
- Yet another common Python wrapper for Alice and Salut skills and bots in Telegram, VK, and Facebook☆29Mar 16, 2023Updated 3 years ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆17Apr 16, 2026Updated 6 months ago
- Using machine learning models to predict if patients have chronic kidney disease based on a few features. The results of the models are a…☆10Jan 21, 2026Updated 9 months ago
- Constitutive modeling · Deep learning · History-dependent materials · Recurrent neural networks · Viscoelasticity☆21Mar 20, 2025Updated last year
- List of some technology related stuff☆17Jan 17, 2024Updated 2 years ago
- ☆18Feb 7, 2021Updated 5 years ago
- Built an activity-aware pulse rate estimation using PPG and Accelerometer sensors.☆11Oct 3, 2021Updated 5 years ago