AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
We have 2 of 22 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
NNV3 is presented, the latest version of the Neural Network Verification tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-physical systems, demonstrating NNV's maturation into a comprehensive, robust, and accessible verification tool for a diverse range of AI systems.
This paper integrates multiple UQ baseline methods with physics-informed modeling to systematically investigate how physical constraints influence uncertainty estimation in traffic forecasting and proposes a physics-informed loss function that enhances the model's ability to capture physically consistent dynamics and i...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.