1 citations · 3 across the 13 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.CV2025
Quantization Robustness to Input Degradations for Object Detection
Toghrul Karimov, Hassan Imani, Allan Kazakov
Post-training quantization (PTQ) is crucial for deploying efficient object detection models, like YOLO, on resource-constrained devices. However, the impact of reduced precision on…
cs.FL2025
Automata on -adic words
Valérie Berthé, Toghrul Karimov, Mihir Vahanwala
A fundamental question in logic and verification is the following: for which unary predicates is the monadic second-order theory of $\langle \mathbb{N}; <, P_1,…
cs.LO2025
Model Checking Linear Temporal Logic with Standpoint Modalities
Rajab Aghamov, Christel Baier, Toghrul Karimov +4
Standpoint linear temporal logic () is a recently introduced extension of classical linear temporal logic () with standpoint modalities. Intuitively, these modalities al…