| Model change detection with application to machine learning | Nov 19, 2018 | BIG-bench Machine LearningChange Detection | —Unverified | 0 |
| Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal | Jul 24, 2020 | model | —Unverified | 0 |
| Model checking coalitional games in shortage resource scenarios | Jul 17, 2013 | model | —Unverified | 0 |
| Model Checking for Closed-Loop Robot Reactive Planning | Nov 16, 2023 | Autonomous Vehiclesmodel | —Unverified | 0 |
| Model Checking Strategic Abilities in Information-sharing Systems | Apr 19, 2022 | model | —Unverified | 0 |
| Model Collapse Demystified: The Case of Regression | Feb 12, 2024 | Image Generationmodel | —Unverified | 0 |
| Model Combination for Correcting Preposition Selection Errors | Jun 1, 2016 | Grammatical Error CorrectionGrammatical Error Detection | —Unverified | 0 |
| Model Comparisons: XNet Outperforms KAN | Oct 2, 2024 | Kolmogorov-Arnold Networksmodel | —Unverified | 0 |
| Model Complexity of Deep Learning: A Survey | Mar 8, 2021 | Deep Learningmodel | —Unverified | 0 |
| Model Complexity of Program Phases | Oct 5, 2023 | modelPrediction | —Unverified | 0 |
