FaithformBench Collection Datasets for evaluating the faithfulness of autoformalisation (AF) systems as described in: https://arxiv.org/abs/2608.10916 • 4 items • Updated about 4 hours ago