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.
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