| Application of AI to formal methods -- an analysis of current trends | Nov 22, 2024 | Decision Making | —Unverified | 0 |
| Can an AI Agent Safely Run a Government? Existence of Probably Approximately Aligned Policies | Nov 21, 2024 | AI AgentDecision Making | —Unverified | 0 |
| Enhancing GeoAI and location encoding with spatial point pattern statistics: A Case Study of Terrain Feature Classification | Nov 21, 2024 | Decision Making | —Unverified | 0 |
| Understanding World or Predicting Future? A Comprehensive Survey of World Models | Nov 21, 2024 | Autonomous DrivingDecision Making | —Unverified | 0 |
| GMAI-VL & GMAI-VL-5.5M: A Large Vision-Language Model and A Comprehensive Multimodal Dataset Towards General Medical AI | Nov 21, 2024 | Decision MakingLanguage Modeling | CodeCode Available | 2 |
| Forecasting Future International Events: A Reliable Dataset for Text-Based Event Modeling | Nov 21, 2024 | ArticlesBenchmarking | CodeCode Available | 0 |
| Natural Language Reinforcement Learning | Nov 21, 2024 | Decision Makingreinforcement-learning | CodeCode Available | 2 |
| Interactive and Expressive Code-Augmented Planning with Large Language Models | Nov 21, 2024 | Common Sense ReasoningDecision Making | —Unverified | 0 |
| ICODE: Modeling Dynamical Systems with Extrinsic Input Information | Nov 21, 2024 | Decision Making | —Unverified | 0 |
| When IoT Meet LLMs: Applications and Challenges | Nov 20, 2024 | Cloud ComputingDecision Making | —Unverified | 0 |
