EricSpencer00/chattla-tla-prover-corpora-v1
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.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face