Our math research agent
☆35May 21, 2026Updated 2 months ago
Alternatives and similar repositories for PoggioAI_MSc
Users that are interested in PoggioAI_MSc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 JSON Schema library — types, validation, correctness proofs, and deriving handlers☆26Jul 16, 2026Updated 3 weeks ago
- ☆11Mar 10, 2021Updated 5 years ago
- ☆10Aug 21, 2025Updated 11 months ago
- Implementations of different reinforcement learning algorithms☆10Aug 23, 2018Updated 7 years ago
- Holds docker images and run scripts for BobbleBot simulation environment.☆12May 18, 2019Updated 7 years ago
- 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.
- ☆12Jun 17, 2022Updated 4 years ago
- Scalable Convex Neural Networks☆26Apr 30, 2025Updated last year
- Normalized Wasserstein for Mixture Distributions☆11Mar 24, 2023Updated 3 years ago
- Casande-RL☆11May 9, 2023Updated 3 years ago
- [ICML-2025] We introduce Lie group Relative position Encodings (LieRE) that goes beyond RoPE in supporting n-dimensional inputs.☆14Aug 8, 2025Updated last year
- ☆17Mar 10, 2026Updated 5 months ago
- A Tensorflow 2.0 reimplementation of World Models - David Ha, Jürgen Schmidhuber (2018)☆20Mar 25, 2023Updated 3 years ago
- Code for Branched Schrödinger Bridge Matching (ICLR 2026)☆16Mar 20, 2026Updated 4 months ago
- Notebooks for managing NeurIPS 2014 and analysing the NeurIPS experiment.☆13May 22, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- FrontierSmith, a new system that uses AI to synthesize open-ended coding problems at scale☆50May 30, 2026Updated 2 months ago
- Official repository of "Minibatch optimal transport distances; analysis and applications" (https://arxiv.org/pdf/2101.01792.pdf)☆10Oct 15, 2021Updated 4 years ago
- Custom Keras ML block example for Edge Impulse☆12Jul 27, 2026Updated 2 weeks ago
- SIMSHIFT: A Benchmark for Adapting Neural Surrogates to Distribution Shifts☆16May 19, 2026Updated 2 months ago
- OCDet: Object Center Detection via Bounding Box-Aware Heatmap Prediction on Edge Devices with NPUs☆12Jul 8, 2026Updated last month
- Active Learning in the era of Foundation Models☆14Apr 16, 2025Updated last year
- A python package for DICOM to NifTi and NifTi to DICOM-SEG and GSPS conversion☆12Sep 25, 2023Updated 2 years ago
- Latest and fastest EigenPro that scales to billions of examples☆10Apr 18, 2026Updated 3 months ago
- Tactile ergodic exploration for robot learning☆15Jun 19, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Code for "Fast Unbalanced Optimal Transport on a Tree" (NeurIPS 2020)☆13Oct 22, 2020Updated 5 years ago
- Code repository of the paper "Alleviating Adversarial Attacks on Variational Autoencoders with MCMC" published at NeurIPS 2022. https://a…☆10Dec 14, 2022Updated 3 years ago
- ☆17Oct 22, 2020Updated 5 years ago
- ☆10Feb 22, 2023Updated 3 years ago
- Planet: A unified sampling-based approach to integrated task and motion planning☆16Jul 9, 2020Updated 6 years ago
- Website for the book "The Elements of Differentiable Programming".☆15Jul 2, 2025Updated last year
- Docker-based, gym-like torcs environment with vision.☆19Apr 18, 2022Updated 4 years ago
- Code base for NeurIPS 2022 paper Curriculum Reinforcement Learning using Optimal Transport via Gradual Domain Adaptation.☆11Aug 21, 2023Updated 2 years ago
- From pixels to symbolic rule learning☆12Nov 12, 2021Updated 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.
- A reinforcement learning object detector leveraging saliency ranking, offering a self-explainable system with a fully observable action l…☆15May 28, 2025Updated last year
- Code base for BMVC paper: Variational Autoencoders for Feature Exploration and Malignancy Prediction of Lung Lesions☆10Mar 31, 2025Updated last year
- AutoQASM is an experimental module offering a quantum-imperative programming experience in Python for developing quantum programs.☆22Updated this week
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- DeltaProduct is a new linear recurrent neural network architecture that uses products of generalized Householder matrices as state-transi…☆15Oct 13, 2025Updated 9 months ago
- Reference Implementation of In-Hand Object Rotation for Allegro Hand Platforms☆15Nov 24, 2025Updated 8 months ago
- Reinforcement learning with docker and torcs☆20Aug 19, 2017Updated 8 years ago