You can deploy this model and start earning money today!

EricSpencer00/
chattla-tla-prover-corpora-v1

Views

No views yet

ChatTLA TLA+ Prover Corpora v1

Verifier-backed training and evaluation corpora for ChatTLA TLA+ prover work.

Files

data/train/chattla_tla_prover_sft_v1.jsonl: 1125 SFT rows combining existing Diamond SFT data with oversampled verified TLAPS proof rows. data/train/sany_tlc_pass_sft_v1.jsonl: 170 SANY/TLC-pass rows with deterministic inline TLC config and inferred constants. data/eval/prover_eval.jsonl: 18 TLAPS-callback-compatible eval rows derived from verified… See the full description on the dataset page: https://huggingface.co/datasets/EricSpencer00/chattla-tla-prover-corpora-v1.