yalhessi

predictions_lemma_object_small_nodefs_lemma_object_afp

yalhessi/predictions_lemma_object_small_nodefs_lemma_object_afp

predictions_lemma_object_small_nodefs_lemma_object_afp is a machine learning model from yalhessi. Use it for the machine learning task on the model card, and read the license before you ship it in a product.