Neural Network Verification Software Tool
-
Updated
Jun 19, 2025 - MATLAB
Neural Network Verification Software Tool
The course provides guidance on best practices for prompting and building applications with the powerful open commercial license models of Llama 2.
AAAI 2025 Tutorial on Machine Learning Safety
Evaluate high school math reasoning in LLMs with baseline and Chain-of-Thought (CoT) prompts. Includes confidence calibration metrics, JSON output parsing, and reliability analysis.
Add a description, image, and links to the safe-ai topic page so that developers can more easily learn about it.
To associate your repository with the safe-ai topic, visit your repo's landing page and select "manage topics."