| From Narratives to Numbers: Valid Inference Using Language Model Predictions from Verbal Autopsy Narratives | Apr 3, 2024 | Decision MakingLanguage Modeling | —Unverified | 0 |
| Compressed Domain Image Classification Using a Dynamic-Rate Neural Network | Jan 28, 2019 | ClassificationCompressive Sensing | —Unverified | 0 |
| Can ChatGPT support software verification? | Nov 4, 2023 | Code Generationvalid | —Unverified | 0 |
| From Stroke to Finite Automata: An Offline Recognition Approach | Sep 14, 2019 | valid | —Unverified | 0 |
| From System Level Synthesis to Robust Closed-loop Data-enabled Predictive Control | Feb 12, 2021 | LEMMAvalid | —Unverified | 0 |
| From Universal Humanoid Control to Automatic Physically Valid Character Creation | Jun 18, 2022 | Humanoid Controlvalid | —Unverified | 0 |
| Computational and Statistical Tradeoffs in Inferring Combinatorial Structures of Ising Model | Jan 1, 2020 | valid | —Unverified | 0 |
| From Width-Based Model Checking to Width-Based Automated Theorem Proving | May 23, 2022 | Automated Theorem Provingvalid | —Unverified | 0 |
| FSER: Deep Convolutional Neural Networks for Speech Emotion Recognition | Sep 15, 2021 | Emotion RecognitionSpeech Emotion Recognition | —Unverified | 0 |
| Efficient Conformal Prediction under Data Heterogeneity | Dec 25, 2023 | Conformal PredictionFederated Learning | —Unverified | 0 |
