fm-universe/FM-bench

177 downloads in 30 days2 likesLast modified 11 Jun 2025View on Hugging Face

The declared licence (apache-2.0) is classified as permissive.

Declared licence: apache-2.0, from the tagEvidence: README.md at 47cb836
Licence files: No licence file at the top level of the repositoryEvidence: file list at 47cb836
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

Citation text from the card

@misc{fmbench25jialun,
      title={From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs}, 
      author={Jialun Cao and Yaojie Lu and Meiziniu Li and Haoyang Ma and Haokun Li and Mengda He and Cheng Wen and Le Sun and Hongyu Zhang and Shengchao Qin and Shing-Chi Cheung and Cong Tian},
      year={2025},
      booktitle = {Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (ACL'25)},
      address = {Vienna, Austria},
      eprint={2501.16207},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2501.16207}, 
}

All datasets marked Permissive or share-alike | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "fm-universe/FM-bench" })
signal: "permissive"
stated_licence: "apache-2.0"
sources: 0