Nov 2025
miniF2F misformalizations
Model / AI: Not specified
verified (audit)
a 2025 audit found discrepancies between the formal and informal statements for more than half the benchmark.
Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.