| VISA: Variational Inference with Sequential Sample-Average Approximations | Mar 14, 2024 | validVariational Inference | —Unverified | 0 |
| On STPA for Distributed Development of Safe Autonomous Driving: An Interview Study | Mar 14, 2024 | Autonomous Drivingvalid | —Unverified | 0 |
| Partial Identification of Individual-Level Parameters Using Aggregate Data in a Nonparametric Model | Mar 12, 2024 | valid | —Unverified | 0 |
| Relevance Score: A Landmark-Like Heuristic for Planning | Mar 12, 2024 | valid | —Unverified | 0 |
| Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees | Mar 12, 2024 | Self-Supervised Learningvalid | CodeCode Available | 0 |
| Cramming Contextual Bandits for On-policy Statistical Evaluation | Mar 11, 2024 | Multi-Armed BanditsOff-policy evaluation | —Unverified | 0 |
| Schema-Aware Multi-Task Learning for Complex Text-to-SQL | Mar 9, 2024 | DecoderMulti-Task Learning | —Unverified | 0 |
| Nonparametric Regression under Cluster Sampling | Mar 7, 2024 | Density Estimationregression | —Unverified | 0 |
| Competitive Facility Location under Random Utilities and Routing Constraints | Mar 7, 2024 | valid | —Unverified | 0 |
| Learning Guided Automated Reasoning: A Brief Survey | Mar 6, 2024 | Automated Theorem ProvingLogical Reasoning | —Unverified | 0 |
