14
Publications
515
Citations
13
H-Index
2015
Active since
Jan Kronqvist is an author at Imperial College London specializing in engineering, mathematical programming, and computer science.
Top concepts
EngineeringMathematical ProgrammingComputer ScienceLinear ProgrammingConvex OptimizationOperations ResearchApproximation TheoryNumerical AnalysisMachine LearningInteger Programming
Publications per year
2015–2022
14
14
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis
Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 106 citations · Full text
Artificial Intelligence, Verification Toolkit, Convolutional Neural Network +15
Rows per page
1–5 of 14