Hugging Face model: beanapologist/morphism-net
Author: beanapologist
Created: 2026-04-25 04:11:50
Last modified: 2026-04-25 04:11:52
Pipeline: other
Library: pytorch
Likes: 0 | Downloads: 0
Tags: pytorch, eigenverse, morphisms, structure-preserving-maps, lean4, formal-verification, mod-paradox, coherence-function, other, en, license:mit, model-index, region:us
Card metadata:
language: en
license: mit
library_name: pytorch
tags: eigenverse, morphisms, structure-preserving-maps, lean4, formal-verification, mod-paradox, coherence-function
pipeline_tag: other