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.

Open Source 24/7 Autonomous Agentic AI System

FactSearch: Factuality Verification Tool, powered by SearXNG

Mxsh - A universal shell that eliminates OS barriers. Use any command syntax on any platform with AI-powered security validation.

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.

OpLogica — AI Verification & Decision Intelligence Platform

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.

Verification for Universal Commerce Protocol (UCP) transactions - Catch AI math errors before payment

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.

A Decentralized Memory Preservation & Gamification Protocol bridging digital permanence with real-world engagement using Aptos, IPFS, and AI.

Inverse Turing test for AI agents. Procedurally generated challenges that prove substrate, autonomy, and intent — things a human can't fake. Self-hosted, open source, MIT licensed.

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.

Proof-of-Reference Tool - PQPR is a tool for checking whether AI output is supported by provided source material.

Decentralized public fund management system with AI verification, blockchain governance, and transparent fund allocation using Ethereum smart contracts.