Neural Network Verification Software Tool
-
Updated
Aug 28, 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 AI 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.
🤖 Avery: A voice-enabled AI companion for children that listens, learns, and helps keep kids safe while they explore the world.
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."