Hugging Face model: Carnot-EBM/carnot-formal-claim-verifier-v1
Author: Carnot-EBM
Created: 2026-04-14 11:57:07
Last modified: 2026-04-23 23:20:25
Likes: 0 | Downloads: 0
Tags: onnx, formal-verification, claim-verifier, research-prototype, carnot, license:apache-2.0, region:us
Card metadata:
tags: formal-verification, claim-verifier, onnx, research-prototype, carnot
license: apache-2.0