To use JavaDowngrader as a library in your application, check out the Usage (As a library) section. If you just want to downgrade .jar files you can check out the Usage (Standalone) section. To ...

In this paper, we give the first robust algorithms for Packing Integer Programs, specifically in the recently proposed Byzantine Secretary framework. Our techniques are based on a two-level use of ...

Harvard's free programming classes teach you how to think, debug, and adapt in an AI-driven world where knowing code matters more than ever.

Abstract: Robot assembly discovery (RAD) is a challenging problem that lives at the intersection of resource allocation and motion planning. The goal is to combine a predefined set of objects to form ...

Abstract: This paper addresses the problem of formal verification of neural networks (NNs) for control. This work focuses on NNs with piece-wise linear activation functions, which can be represented ...