MathTensor Lean 4 formalizations of Putnam 2025 problems, with machine-verified Mathlib proofs.
☆16May 21, 2026Updated 2 months ago
Alternatives and similar repositories for AI4Math-Putnam2025
Users that are interested in AI4Math-Putnam2025 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Mar 24, 2021Updated 5 years ago
- PyTorch Implementation of the CLIP Algorithm☆14Sep 23, 2024Updated last year
- Find collaboration strength between NSF awards, awardees, and more.☆14Oct 1, 2018Updated 7 years ago
- OptiDICE: Offline Policy Optimization via Stationary Distribution Correction Estimation☆16Aug 3, 2023Updated 2 years ago
- This repository contains my personal notes and summaries on DeepLearning.ai specialization courses. I've enjoyed every little bit of the …☆23Apr 4, 2020Updated 6 years 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.
- A high performance framework for radiation therapy simulation and numerical solutions for kinetic equations.☆26Jun 5, 2026Updated last month
- ☆27Apr 22, 2024Updated 2 years ago
- Stanford CS234: Reinforcement Learning Winter 2020☆19Mar 24, 2023Updated 3 years ago
- A Convolutional Neural Network to identify spoken digits.☆52Mar 13, 2022Updated 4 years ago
- Taught by AI genius Andrew NG, this course entails the cutting edge topics such as, How generative AI works including what it can and can…☆31Apr 28, 2024Updated 2 years ago
- 🐲 Stanford CS234 : Reinforcement Learning☆28Jun 8, 2019Updated 7 years ago
- Codes accompanying the paper "Offline Reinforcement Learning via High-Fidelity Generative Behavior Modeling" (ICLR 2023) https://arxiv.or…☆42Oct 11, 2023Updated 2 years ago
- Web site for book on "Neural Networks and Deep Learning"☆47May 20, 2025Updated last year
- Some examples trained on very reduced versions of the MNIST training set☆47Nov 27, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Enhanced sampling methods for molecular dynamics simulations☆45Dec 16, 2022Updated 3 years ago
- ☆35Oct 8, 2016Updated 9 years ago
- ☆255Jul 8, 2026Updated 2 weeks ago
- My personal practice to implement algorithms of RL from scratch.☆39May 18, 2020Updated 6 years ago
- DQN examples codes in chapter 4☆44Mar 24, 2023Updated 3 years ago
- A fluid simulator using Lattice-Boltzmann Method with simple and convenient GUI for educational purpose. 一个拥有漂亮易用的GUI的、使用格子玻尔兹曼法的、教育用途的流体…☆36May 22, 2025Updated last year
- A pure PyTorch implementation of kmeans and GMM with distributed clustering.☆52Nov 30, 2022Updated 3 years ago
- An intro to DG methods for PDEs☆44Oct 20, 2015Updated 10 years ago
- Code, 3D Print Files, BOM and Build Instructions for the DIYNAFLUOR DNA Fluorometer☆98Jun 28, 2026Updated 3 weeks 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.
- 深度学习500问，以问答形式对常用的概率知识、线性代数、机器学习、深度学习、计算机视觉等热点问题进行阐述，以帮助自己及有需要的读者。 全书分为18个章节，50余万字。声明：所有内容来自（仅供学习）：https://github.com/scutan90/DeepLearni…☆44Sep 20, 2019Updated 6 years ago
- 机器学习备忘录☆86Jan 11, 2019Updated 7 years ago
- A large scale benchmark of materials design methods: https://www.nature.com/articles/s41524-024-01259-w☆75Oct 29, 2025Updated 8 months ago
- Stanford CS234: Reinforcement Learning assignments and practices☆64Jul 31, 2024Updated last year
- 我盗版我自己☆76Apr 14, 2023Updated 3 years ago
- 利 用文本挖掘技术进行新闻热点关注问题分析☆172Dec 9, 2018Updated 7 years ago
- b站@shuhuai008的白板推导系列课程手写笔记，补充了一些用到的数学基础知识。☆75Oct 4, 2020Updated 5 years ago
- From-scratch diffusion model implemented in PyTorch.☆103Feb 6, 2024Updated 2 years ago
- ☆91Sep 21, 2022Updated 3 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.
- 这是一个yolov5-v6.1-pytorch的源码，可以用于训练自己的模型。☆134Aug 27, 2023Updated 2 years ago
- Claude Code skill for experiment execution, monitoring, statistical interpretation, and reproducibility verification☆152May 2, 2026Updated 2 months ago
- Extending and Modifying LAMMPS Writing Your Own Source Code, published by Packt☆120Mar 2, 2026Updated 4 months ago
- [ICLR 2024] The official implementation of "Safe Offline Reinforcement Learning with Feasibility-Guided Diffusion Model"☆129Feb 11, 2025Updated last year
- Official code repository for Prompt-DT.☆123Aug 3, 2022Updated 3 years ago
- [NeurIPS 2023] Efficient Diffusion Policy☆113Oct 31, 2023Updated 2 years ago
- Our solutions to Putnam 2025.☆110Jan 9, 2026Updated 6 months ago