arXiv:2512.19007v1 Announce Type: cross Abstract: This report summarizes the 6th International Verification of Neural Networks Competition (VNN-COMP 2025), held as…
arXiv:2511.21417v2 Announce Type: replace Abstract: In pseudo-boolean solving the currently most successful unit propagation strategy is a hybrid mode combining…
arXiv:2512.17566v1 Announce Type: cross Abstract: T2-weighted fluid-attenuated inversion recovery (FLAIR) magnetic resonance imaging (MRI) scans are important for diagnosis, treatment…
arXiv:2512.15692v2 Announce Type: replace-cross Abstract: Prevailing Vision-Language-Action Models (VLAs) for robotic manipulation are built upon vision-language backbones pretrained on large-scale,…
arXiv:2512.17722v1 Announce Type: cross Abstract: This paper introduces a standardized model card framework specifically designed for digital and web forensics.…
arXiv:2512.17678v1 Announce Type: cross Abstract: Selecting compact and informative gene subsets from single-cell transcriptomic data is essential for biomarker discovery,…
arXiv:2512.13998v2 Announce Type: replace-cross Abstract: Music Emotion Recogniser (MER) research faces challenges due to limited high-quality annotated datasets and difficulties…
