α,β-CROWN (alpha-beta-CROWN): A Fast and Scalable Neural Network Verifier with Efficient Bound Propagation α,β-CROWN is tested on Python 3.11 and PyTorch 2.8.0 (recent versions may also work). It can ...

This file provides functions and modules that construct shapes from a list of cross sections. In the case of skin() you specify each cross sectional shape yourself, and the number of points can vary.

Find out more about undergraduate study at the School of Electronic Engineering and Computer Science.