You can deploy this model and start earning money today!

microsoft/
Verus_Training_Data

Views

No views yet

Readme

This is our Verus training data for SAFE and VeruSyn.

SAFE's SFT data:

sft_safe_25k.json: 25K samples (11K proof generation and 14K debugging)

SAFE's SFT data:

sft_part1_6.9M.json: 6.9M samples (5.7M proof generation and 1.2M debugging) sft_part2_4557.json: 4.6K long CoT samples (1.4K proof generation and 3.2K debugging)

Raw trajectories of VeruSyn's Part 2:

algorithmic_trajectory_9040.jsonl: 'success': 7396, 'error': 271, 'timeout': 1373… See the full description on the dataset page: https://huggingface.co/datasets/microsoft/Verus_Training_Data.