research
∙
03/27/2021
On the Hierarchical Community Structure of Practical Boolean Formulas
Modern CDCL SAT solvers easily solve industrial instances containing ten...
share
research
∙
07/20/2020
Battlesnake Challenge: A Multi-agent Reinforcement Learning Playground with Human-in-the-loop
We present the Battlesnake Challenge, a framework for multi-agent reinfo...
research
∙
10/03/2019
YOLO Nano: a Highly Compact You Only Look Once Convolutional Neural Network for Object Detection
Object detection remains an active area of research in the field of comp...
research
∙
10/01/2019