Datasets for evaluating the faithfulness of autoformalisation (AF) systems as described in: https://arxiv.org/abs/2608.10916
Iacopo Ghinassi
ighina
AI & ML interests
NLP; Audio Deep learning
Recent Activity
liked a dataset about 4 hours ago
ighina/FaithformBench-Regex liked a dataset about 4 hours ago
ighina/Faithform-LLMs liked a dataset about 4 hours ago
ighina/Faithform-AFOrganizations
None yet