sorgfresser
/

kiminaembedtriple

Model card Files Files and versions

kiminaembedtriple / theorems /testing-lower-bounds

Commit History

Upload folder using huggingface_hub

d9ce328
verified

sorgfresser commited on Jun 7, 2025