GitHub repository: tanmaytirpankar/CIRE
Primary language: C++
Created: 2023-09-11T22:53:51Z
Description: Library and tool for statically estimating worst case first order error