Guillemdb/structural_exhaustion
Reference manual and implementation guidelines for AI-assisted theorem proving
AI research & ML engineering
Reference manual and implementation guidelines for AI-assisted theorem proving
Celular automaton-based calculus for the masses
soft math for solving hard problems
Framework for building algorithms based on FractalAI theory
Contrib package for Stable-Baselines3 - Experimental reinforcement learning (RL) code
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs directly on Anthropic's Agents SDK
Code for Estimation of Simultaneous Equations Models by Backpropagation Method using Stochastic Gradient Descent
Contents of the talk Hacking RL presented at EuroPython 2018
An OpenAI Gym interface to Super Mario Bros. & Super Mario Bros. 2 (Lost Levels) on The NES
Working with data that contain geographic locations
Denoising Diffusion Implicit Models
Notebooks from Ngutten livestream.
Volcado de la Base de Datos Nacional de Subvenciones (BDNS)
Interface to use OpenAI gym for planning problems
Coding conventions for contributing to python projects
Dockerfiles for deep learning and planning
Tool to set up new machine learning repositories
Aiming to be a fully transparent company. All information about source{d} and what it's like to work here.
Github actions configuration for the FragileTech organization
Common API for working with tensors in the context of machine learning research
Ignore individual error codes per file with flake8
Visualization library build on top of holoviews focused on speeding up machine learning research
Variational Autoencoder with Spatial Broadcast Decoder
Experiments in program synthesis/combination of neural network modules via search.
Author's PyTorch implementation of BCQ for continuous and discrete actions
ASDF (Advanced Scientific Data Format) is a next generation interchange format for scientific data
Minimal implementation of clipped objective Proximal Policy Optimization (PPO) in PyTorch
Dopamine is a research framework for fast prototyping of reinforcement learning algorithms.