stan4u/formally-verified-c-core-v1

Formally Verified C Core-v1 Core-v1 is a project-authored set of 64 fixed-contract C/ACSL function completion tasks for reinforcement-learning environment development and model evaluation. A model receives a complete C translation unit whose target body is replaced by a TODO. The unchanged ACSL contract and surrounding source define the problem; Frama-C WP+RTE supplies the executable reward signal. Contents 33 training tasks 15 validation tasks 16 held-out test… See the full description on the dataset page: https://huggingface.co/datasets/stan4u/formally-verified-c-core-v1.