Tanmay Khandait

ARCH-COMP 2021 Category Report: Falsification with Validation of Results

Gidon Ernst, Paolo Arcaini, Ismail Bennani et al. · EPiC series in computing · 2021 · 23 citations · Full text

Computing, Computer Science, Systems Engineering +16

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees

Giulia Pedrielli, Tanmay Khandait, Yumeng Cao et al. · IEEE Transactions on Automation Science and Engineering · 2023 · 15 citations

Computing, Computer Engineering, Computer Science +9

ARCH-COMP23 Category Report: Falsification

Claudio Menghi, Paolo Arcaini, Walstan Baptista et al. · EPiC series in computing · 2023 · 15 citations · Full text

Computing, Computer Science, Systems Engineering +17

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources

Gidon Ernst, Paolo Arcaini, Georgios Fainekos et al. · EPiC series in computing · 2022 · 14 citations · Full text

Computing, Computer Science, Systems Engineering +17

A Gradient-based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning

Ankur Sinha, Tanmay Khandait, Raja Mohanty · arXiv (Cornell University) · 2020 · 11 citations · Full text

Computing, Computer Science, Algorithms +15