A Learning Environment for Theorem Proving
APACHE-2.0 License
Code & Experiments for "LILA: Language-Informed Latent Actions" to be presented at the Conference...
Minimal package to demonstrate good Python development habits
A python distribution as a self-guided tour.
A tour in the wonderland of math with python.
Check out the new game server:
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
PyGame-based quadcopter simulator & Reinforcement Learning Project
PyTorch implementations of deep reinforcement learning algorithms and environments
Collection of reinforcement learning algorithms
Code and Experiments for ACL-IJCNLP 2021 Paper "Mind Your Outliers! Investigating the Negative Im...
Combinatorial Complex Score-based Diffusion model using stochastic differential equations
Software and instructions for setting up and running a self-driving lab (autonomous experimentati...
Reinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjo...
Interpretability and explainability of data and machine learning models
Tools for DMing Dungeons & Dragons