Open framework for confidential AI

FIBO is a SOTA, first open-source, JSON-native text-to-image model built for controllable, predictable, and legally safe image generation.

Neural Network Verification Software Tool

Sagar is a Python-based command-line virtual assistant for CSE students and cybersecurity learners. It supports single-line and multi-line commands to open trusted websites, play curated music links, and answer questions using an AI model—designed for safe automation, learning, and terminal-first exploration.

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

Production-Grade LLM Alignment Engine (TruthProbe + ADT)

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.

Collaborative hub for sharing and shaping AI best practices in Medicaid through the Safe AI in Medicaid Alliance (SAMA).

Safe for duplicate questions! || Antarmuka chatbot interaktif yang memberikan solusi cepat untuk pertanyaan pengguna.

Formal verification of PointNet for LiDAR point clouds using ERAN and α,β-CROWN, with NSGA-III adversarial weights

Compared model architectures and explainability methods for hate speech detection in conversational AI.

Deterministic AI system demonstrating strict separation between observation, pattern detection, and execution.

🔍 Analyze the mathematical reasoning abilities of the Mistral-7B model using diverse prompting techniques on multi-step math problems.