| MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data | Feb 14, 2024 | Automated Theorem ProvingLanguage Modelling | CodeCode Available | 1 |
| Who Plays First? Optimizing the Order of Play in Stackelberg Games with Many Robots | Feb 14, 2024 | Trajectory Planningvalid | —Unverified | 0 |
| Beyond LLMs: Advancing the Landscape of Complex Reasoning | Feb 12, 2024 | Logical Reasoningvalid | —Unverified | 0 |
| Sourcerer: Sample-based Maximum Entropy Source Distribution Estimation | Feb 12, 2024 | valid | CodeCode Available | 0 |
| Regression Trees for Fast and Adaptive Prediction Intervals | Feb 12, 2024 | PredictionPrediction Intervals | CodeCode Available | 1 |
| Self-Calibrating Conformal Prediction | Feb 11, 2024 | Binary ClassificationConformal Prediction | CodeCode Available | 1 |
| Solving Complex Multi-UAV Mission Planning Problems using Multi-objective Genetic Algorithms | Feb 9, 2024 | valid | —Unverified | 0 |
| Distributed Safe Navigation of Multi-Agent Systems using Control Barrier Function-Based Optimal Controllers | Feb 9, 2024 | Collision Avoidancevalid | —Unverified | 0 |
| Where is the Truth? The Risk of Getting Confounded in a Continual World | Feb 9, 2024 | Continual Learningvalid | CodeCode Available | 0 |
| Introspective Planning: Aligning Robots' Uncertainty with Inherent Task Ambiguity | Feb 9, 2024 | Conformal PredictionHallucination | CodeCode Available | 1 |
