MathTensor Lean 4 formalizations of Putnam 2025 problems, with machine-verified Mathlib proofs.
☆15May 21, 2026Updated 5 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
- Beamer presentation template with University of MN colors☆12Aug 28, 2014Updated 12 years ago
- PyTorch Implementation of the CLIP Algorithm☆14Sep 23, 2024Updated 2 years ago
- OptiDICE: Offline Policy Optimization via Stationary Distribution Correction Estimation☆16Aug 3, 2023Updated 3 years ago
- Find collaboration strength between NSF awards, awardees, and more.☆14Oct 1, 2018Updated 8 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.
- 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
- A high performance framework for radiation therapy simulation and numerical solutions for kinetic equations.☆28Jun 5, 2026Updated 4 months ago
- ☆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☆27Jun 8, 2019Updated 7 years ago
- Some examples trained on very reduced versions of the MNIST training set☆46Nov 27, 2017Updated 8 years ago
- Web site for book on "Neural Networks and Deep Learning"☆48May 20, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆35Oct 8, 2016Updated 10 years ago
- Codes accompanying the paper "Offline Reinforcement Learning via High-Fidelity Generative Behavior Modeling" (ICLR 2023) https://arxiv.or…☆45Oct 11, 2023Updated 3 years ago
- My personal practice to implement algorithms of RL from scratch.☆40May 18, 2020Updated 6 years ago
- ☆284Jul 8, 2026Updated 3 months 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
- Enhanced sampling methods for molecular dynamics simulations☆47Dec 16, 2022Updated 3 years ago
- A pure PyTorch implementation of kmeans and GMM with distributed clustering.☆53Nov 30, 2022Updated 3 years ago
- Code, 3D Print Files, BOM and Build Instructions for the DIYNAFLUOR DNA Fluorometer☆105Jun 28, 2026Updated 4 months 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.
- An intro to DG methods for PDEs☆44Oct 20, 2015Updated 11 years ago
- ☆53Jun 30, 2022Updated 4 years ago
- 深度学习500问，以问答形式对常用的概率知识、线性代数、机器学习、深度学习、计算机视觉等热点问题进行阐述，以帮助自己及有需要的读者。 全书分 为18个章节，50余万字。声明：所有内容来自（仅供学习）：https://github.com/scutan90/DeepLearni…☆44Sep 20, 2019Updated 7 years ago
- A large scale benchmark of materials design methods: https://www.nature.com/articles/s41524-024-01259-w☆76Oct 29, 2025Updated last year
- 机器学习备忘录☆85Jan 11, 2019Updated 7 years ago
- Stanford CS234: Reinforcement Learning assignments and practices☆65Jul 31, 2024Updated 2 years ago
- 利用文本挖掘技术进行新闻热点关注问题分析☆173Dec 9, 2018Updated 7 years ago
- 这是一个yolov5-v6.1-pytorch的源码，可以用于训练自己的模型。☆134Aug 27, 2023Updated 3 years ago
- ☆91Sep 21, 2022Updated 4 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.
- 我盗版我自己☆77Apr 14, 2023Updated 3 years ago
- b站@shuhuai008的白板推导系列课程手写笔记，补充了一些用到的数学基础知识。☆80Oct 4, 2020Updated 6 years ago
- From-scratch diffusion model implemented in PyTorch.☆102Feb 6, 2024Updated 2 years ago
- Our solutions to Putnam 2025.☆113Jan 9, 2026Updated 9 months ago
- Claude Code skill for experiment execution, monitoring, statistical interpretation, and reproducibility verification☆213Sep 25, 2026Updated last month
- Official code repository for Prompt-DT.☆126Aug 3, 2022Updated 4 years ago
- [NeurIPS 2023] Efficient Diffusion Policy☆113Oct 31, 2023Updated 3 years ago