typeof/algebraic-stack
NOTE: Please see EleutherAI/proof-pile-2 This is a cherry-picked repackaging of the algebraic-stack segment from the proof-pile-2 dataset as parquet files License see EleutherAI/proof-pile-2 Citation see EleutherAI/proof-pile-2
61.1k
This repository belongs to typeof on Hugging Face.
CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.
algebraic-stack
public
not set
no
typeof