Constrained deep learning is an advanced approach to training deep neural networks by incorporating domain-specific constraints into the learning process.
🎓 Free course on deterministic AI verification. Learn how to mathematically prove LLM output correctness using formal methods. From theory to production workflows with QWED-AI.
Semantic Flow Language (SFL) is a framework that aligns human intent, AI reasoning, and executable logic. It ensures bidirectional synchronization between meaning and code, allowing for reliable, transparent, and verifiable AI-driven development across various environments.
An advanced AI-powered fake news detection system that verifies text, images, and social media posts using Gemini AI, FastAPI, and Next.js. Includes a modern web interface, a lightweight Streamlit app, and a Chrome extension for real-time fake content detection. Built to combat misinformation with explainable AI results and contextual source links.
Open Source 24/7 Autonomous Agentic AI System
Records of experiments testing the reproducibility of LLM workloads on datacenter GPUs. Key novelty: Non-associativity is a "fingerprint" of an inference stack and implementation.
OpLogica — AI Verification & Decision Intelligence Platform
Four Tests Standard (4TS) - Vendor-neutral specification for verifiable AI governance
Deterministic verification middleware for banking and financial AI. NPV, IRR, loan amortization, and interest calculations with QWED precision.
Verity is a forensic verification AI that analyzes contradictory evidence across multiple formats (video, audio, documents, images) to reconstruct verified timelines and detect inconsistencies. Built with Gemini 3's advanced reasoning capabilities and transparent thinking mode.
Topological Hashing Registry for Chaos Resilience.
Verification for Universal Commerce Protocol (UCP) transactions - Catch AI math errors before payment
AI Literature Verifier & RIS Converter | AI文獻驗證&RIS轉換器 - Validate DOI citations from AI tools and convert to EndNote/Zotero formats | 驗證AI找到的DOI文獻真實性，一鍵轉換成RIS/BibTeX格式
🏦 Enhance banking and financial AI with QWED-Finance, a middleware that ensures deterministic verification for reliable decision-making.
Decentralized public fund management system with AI verification, blockchain governance, and transparent fund allocation using Ethereum smart contracts.
AI-powered commit messages with rule-based verification. Shows responsible AI usage with human-in-the-loop validation.
Add a description, image, and links to the ai-verification topic page so that developers can more easily learn about it.
To associate your repository with the ai-verification topic, visit your repo's landing page and select "manage topics."