Hugging Face model: Carnot-EBM/carnot-constraint-propagation-logic
Author: Carnot-EBM
Created: 2026-04-11 15:32:23
Last modified: 2026-04-23 23:20:12
Likes: 0 | Downloads: 6
Tags: safetensors, ising_constraint_model, energy-based-model, ising-model, constraint-satisfaction, logic-verification, syllogism, carnot, license:apache-2.0, region:us
Card metadata:
tags: energy-based-model, ising-model, constraint-satisfaction, logic-verification, syllogism, carnot
license: apache-2.0