3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CV2023
OOD-CV-v2: An extended Benchmark for Robustness to Out-of-Distribution Shifts of Individual Nuisances in Natural Images
Bingchen Zhao, Jiahao Wang, Wufei Ma +7
Enhancing the robustness of vision algorithms in real-world scenarios is challenging. One reason is that existing robustness benchmarks are limited, as they either rely on syntheti…
cs.CR2021★ 3 cited
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
A. -M. Leventi-Peetz, O. Zendel, W. Lennartz +1
Performing hundreds of test runs and a source-code analysis, we empirically identified improved parameter configurations for the CryptoMiniSat (CMS) 5 for solving cryptographic CNF…