| 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 |
| FRESCO: Spatial-Temporal Correspondence for Zero-Shot Video Translation | Mar 19, 2024 | Translationvalid | CodeCode Available | 4 |
| 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 |
| A Semidefinite Programming-Based Branch-and-Cut Algorithm for Biclustering | Mar 17, 2024 | Clusteringvalid | CodeCode Available | 0 |
| Audio-Visual Segmentation via Unlabeled Frame Exploitation | Mar 17, 2024 | Diversityvalid | —Unverified | 0 |
| RetinaQA: A Robust Knowledge Base Question Answering Model for both Answerable and Unanswerable Questions | Mar 16, 2024 | Knowledge Base Question AnsweringQuestion Answering | CodeCode Available | 0 |
| DTOR: Decision Tree Outlier Regressor to explain anomalies | Mar 16, 2024 | Anomaly Detectionvalid | CodeCode Available | 0 |
| Lyapunov Neural Network with Region of Attraction Search | Mar 15, 2024 | Deep Reinforcement Learningvalid | —Unverified | 0 |
