Skip to content

CoF-Reasoning

cof-formal-6k-checkpoints

CoF-Reasoning/cof-formal-6k-checkpoints

cof-formal-6k-checkpoints is a machine learning model from CoF-Reasoning. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for pytorch. The card lists the license as apache-2.0.

Private research handoff for the COF formal single-seed program. The source is pinned to mianwu01/COF-maze, branch review/cof-6k-snapshot-20260825, commit 0c7fc59ee3f9ad6fe7f9303141644fee301dbdf4.

Downloads · 30 days

0

Access

Public

Updated Aug 26, 2026

Repo size

229 GB

Likes

0

Public

Hugging Face

Repo makeup

Click a slice to open those files.

.pt227 GB · 99%

At a glance

Library
pytorch
License
apache-2.0
Access
Public
Created
Aug 26, 2026
Updated
Aug 26, 2026
SHA
2b2312d3
Library
pytorch
License
apache-2.0
Created
Aug 26, 2026
Updated
Aug 26, 2026