fm-universe/FM-bench

Introduction This dataset FM-Bench is the benchmark (test set) for the paper From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. You may find the training data here. FM-Bench includes: Six formal-verification-related tasks (See Figure 1 below): Requirement Analysis (abbrev. ReqAna): given requirements and description of the verification or modeling goals, decomposing the goal into detailed verification… See the full description on the dataset page: https://huggingface.co/datasets/fm-universe/FM-bench.

<iframe src="https://silytics.si/embed/item/a2923f95-828f-4cbd-9586-a71ad76db16e" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.