Provability Fabric

Funding window: 2026-04 – active

Verifiable evidence and run-time security for model stacks

Verifiable evidence and run-time security for AI systems

NLnet export

• Programme: ngi-zero-commonsfund
• Export status: early (NLnet field; currently often left at early)
• Keywords: FormalVerification, LLM, Logging, Privacy
• Categories: data-ml
• Countries: FR