Open nfaltermann opened 11 months ago
added functionality to evaluate ML models from Keras and PyTorch via CROWN, utilizing JIT compilation from SOFIE interface
WIP
currently not working with shifts, looking into it
added functionality to evaluate ML models from Keras and PyTorch via CROWN, utilizing JIT compilation from SOFIE interface
WIP