Pinned Loading

1. OnCLBinFM OnCLBinFM Public

   Code and evaluation pipeline for "On Compositional Learning Behaviours in Formal Mathematics" (AI4Math @ ICML 2026) — cross-evaluation of ten Lean 4 theorem provers on CLB competency (S2B-LM) and m…

   Python

2. GazeboDomainRandomization GazeboDomainRandomization Public

   Implementation of some Domain Randomization tools within the ROS+Gazebo framework, following the work of Tobin et al. "Domain Randomization for Transferring Deep Neural Networks from Simulation to …

   Python 22 12

3. ReferentialGym ReferentialGym Public

   This framework provides out-of-the-box implementations of Referential Games variants in order to study the emergence of artificial languages using deep learning, relying on PyTorch (https://www.pyt…

   Python 23 4

4. PYTORCH_VAE PYTORCH_VAE Public

   Disentangled Variational AutoEncoder with PyTorch

   Python 29 1

5. SymbolicBehaviourBenchmark SymbolicBehaviourBenchmark Public

   Suite of OpenAI Gym-compatible multi-agent reinforcement learning environment to benchmark for behavioral traits pertaining to symbolic behaviours (primarily: being receptive, constructive, malleab…

   Jupyter Notebook 5

6. Archi Archi Public

   Library of modular and highly reconfigurable architectural building blocks for general-purpose Deep Learning applications.

   Python 1