My notes for Prof. Klaus Obermayer's "Machine Intelligence 1 - Supervised Learning" course at the TU Berlin
☆35Feb 20, 2023Updated 3 years ago
Alternatives and similar repositories for mi1notes
Users that are interested in mi1notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My notes for Prof. Klaus Obermayer's "Machine Intelligence 2 - Unsupervised Learning" course at the TU Berlin☆14Mar 23, 2023Updated 3 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 4 years ago
- simulation platform for algorithmic pricing☆11Nov 2, 2021Updated 4 years ago
- Implementation of Soft Actor-Critic (SAC) algorithm using TensorFlow 2.1.0☆12May 13, 2020Updated 6 years ago
- ☆10May 10, 2024Updated 2 years ago
- 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.
- ☆20Dec 12, 2018Updated 7 years ago
- ☆12Oct 13, 2020Updated 6 years ago
- Collection of tools, launch files, configuration, etc. for TurtleBot3 at NPS☆11Jun 6, 2019Updated 7 years ago
- ☆17Nov 29, 2022Updated 3 years ago
- ROS2 package to visualize .pcd file and .osm file (openstreetmap) and to convert .osm file to occupancy map☆16Aug 3, 2023Updated 3 years ago
- A modular implementation of PPO, and soon hopefully other algorithms.☆27Jan 16, 2024Updated 2 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- ☆13Jan 3, 2021Updated 5 years ago
- 2nd Place Solution for the Google Research - Identify Contrails to Reduce Global Warming Competition☆14Aug 15, 2023Updated 3 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.
- JMAB Project☆23Sep 10, 2018Updated 8 years ago
- Deep Q-Network (DQN) with Prioritized Experience Replay (PER)☆17Jan 1, 2020Updated 6 years ago
- Mini-ARC implementation and experiments☆11Nov 13, 2024Updated last year
- Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably …☆15Apr 23, 2026Updated 6 months ago
- Quick demo of LiveKit in Unity (for a WebGL build) with spatial audio and screen sharing configured.☆11Jul 8, 2022Updated 4 years ago
- RSNA 2024 Lumbar Spine Degenerative Classification 4th place solution☆10Oct 10, 2024Updated 2 years ago
- This Keras code is for the paper A. Jamali, Ali and Roy, Swalpa Kumar and Hong, Danfeng and Atkinson, Peter M and Ghamisi, Pedram, "[Spat…☆11Jan 22, 2024Updated 2 years ago
- This is the implementation of the 4th place solution (yu4u's part) for RSNA 2024 Lumbar Spine Degenerative Classification at Kaggle.☆11Oct 11, 2024Updated 2 years ago
- A website that implements 4 crowd counting algorithms and helps you to predict number of people in images, videos, and in your camera.☆15Jul 15, 2023Updated 3 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.
- Command line client for GIN☆14Feb 25, 2023Updated 3 years ago
- T2NER: Transformers based Transfer Learning Framework for Named Entity Recognition (EACL 2021)☆11Sep 24, 2022Updated 4 years ago
- Multi-robot coordination package based on coordination_oru with ROS support☆17Jun 2, 2022Updated 4 years ago
- My answers to exercises in Stochastic Calculus for Finance by Steven E. Shreve.☆39May 20, 2023Updated 3 years ago
- Implementation of the VIPER algorithm introduced in "Verifiable Reinforcement Learning via Policy Extraction" by Bastani et al.☆24Nov 9, 2025Updated 11 months ago
- TensorFlow implementation of "TokenLearner: What Can 8 Learned Tokens Do for Images and Videos?"☆38Dec 17, 2021Updated 4 years ago
- Concurrent Programming Language☆21Jun 14, 2024Updated 2 years ago
- Dependency Parsing as Sequence Labeling with BERT☆13Nov 1, 2020Updated 5 years ago
- Constrained Policy Optimization implementation on Safety Gym☆30Jan 8, 2022Updated 4 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.
- Ssebowa is free and open source library in Python that provides generative-ai models.☆15Jan 31, 2024Updated 2 years ago
- A short tutorial on Nipype☆10Apr 26, 2021Updated 5 years ago
- Simulating Realistic Human Scanpaths in Dynamic Real-World Scenes☆16Mar 3, 2026Updated 7 months ago
- A toolbox with the goal of speeding up research on bargaining in MARL (cooperation problems in MARL).☆33Sep 29, 2022Updated 4 years ago
- Official PyTorch implementation of FusionCount: Efficient Crowd Counting via Multiscale Feature Fusion☆13Oct 25, 2022Updated 4 years ago
- ☆15Dec 28, 2020Updated 5 years ago
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 3 months ago