| Transmission Benefits and Cost Allocation under Ambiguity | Mar 21, 2024 | counterfactualvalid | —Unverified | 0 |
| When faster rotation is harmful: the competition of alliances with inner blocking mechanism | Mar 21, 2024 | BlockingTriplet | —Unverified | 0 |
| Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks | Mar 20, 2024 | valid | —Unverified | 0 |
| Variational Inference for Uncertainty Quantification: an Analysis of Trade-offs | Mar 20, 2024 | Uncertainty Quantificationvalid | CodeCode Available | 0 |
| Robustness Verifcation in Neural Networks | Mar 20, 2024 | valid | —Unverified | 0 |
| Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code | Mar 19, 2024 | Automated Theorem ProvingCode Generation | —Unverified | 0 |
| Time Series Compression using Quaternion Valued Neural Networks and Quaternion Backpropagation | Mar 18, 2024 | Contrastive LearningTime Series | —Unverified | 0 |
| An Accurate and Real-time Relative Pose Estimation from Triple Point-line Images by Decoupling Rotation and Translation | Mar 18, 2024 | Pose EstimationTranslation | —Unverified | 0 |
| Audio-Visual Segmentation via Unlabeled Frame Exploitation | Mar 17, 2024 | Diversityvalid | —Unverified | 0 |
| A Semidefinite Programming-Based Branch-and-Cut Algorithm for Biclustering | Mar 17, 2024 | Clusteringvalid | CodeCode Available | 0 |
