Ready-to-use code and tutorial notebooks to boost your way into few-shot image classification. This repository is made for you if: you're new to few-shot learning and want to learn; or you're looking ...

Abstract: We introduce sparse polynomial zonotopes, a new set representation for formal verification of hybrid systems. Sparse polynomial zonotopes can represent nonconvex sets and are generalizations ...

Abstract: This paper presents stability analysis of polynomial fuzzy-model-based (FMB) control systems using the sum-of-squares (SOS) approach. Recently, stability analysis of the polynomial ...

The original purpose of this repository is to hold a Lean4 formalization of the proof of the Polynomial Freiman-Ruzsa (PFR) conjecture of Katalin Marton (see also ...