Systems and methods are provided that implement virtual dataset creation and formal verification for artificial Intelligence (AI)/Machine Learning (ML) models in a manner that improves the performance of AI/ML models when encountering corner cases. For example, a corner case correction system is configured to synthesize new samples by recontextualizing samples related to corner cases, in new environments. The corner case correction system can implement an energetic neural process which separates input data into contextual features and content, and then recombines the context and content to synthesize new samples, generating a virtual dataset. The energetic neural process also performs a formal verification of the AI/ML models to address noise in the virtual dataset. The AI/ML model is trained using the virtual dataset, and an updated AI/ML model is created to execute predictive analysis for the corner cases associated with driving environments of autonomous vehicles.
SYSTEMS AND METHODS FOR FORMAL VERIFICATION OF CORNER CASES FOR AUTONOMOUS VEHICLES
2025-03-13
Patent
Electronic Resource
English
IPC: | B60W CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION , Gemeinsame Steuerung oder Regelung von Fahrzeug-Unteraggregaten verschiedenen Typs oder verschiedener Funktion |
Turning the Corner: Improved Intersection Controlfor Autonomous Vehicles
British Library Conference Proceedings | 2005
|SAE Technical Papers | 2023
|British Library Conference Proceedings | 2023
|