ArxivNet Structured proof-process corpus derived from TeX papers for long-context SFT, reconstruction, theorem dependencies, process supervision, and critic training.
Visit productCosigns Received
Be the first Cosign
Put your name behind ArxivNet.
Add it to your Products I use list and share why you use it.