Explore projects
-
-
ehai / babel
OtherThe all-in-one toolkit for multi-agent experiments on emergent communication.
Updated -
MA-benchmarking / Path Finding
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
MA-benchmarking / Pick Up And Delivery
GNU General Public License v3.0 or laterUpdated -
Architecture of neural modules for CLEVR, CLEVR-Dialog, MNIST-Dialog and COCO dataset, training scripts and IRL communication server
Updated -
Çağrı Uluç Yıldırımoğlu / Kissat3-pb2
MIT LicenseThis repository is to hack kissat 3.0 to print pb2 proofs instead of DRAT. Also, kissat is hacked to always read cnfs from stdin.
Updated -
Updated
-
Updated
-
-
-
Updated
-
-
Updated
-
Youri Coppens / SVCN2
GNU General Public License v3.0 or laterUpdated -
-
Updated