FOLIO

A new training-time framework called Dependency-Aware Intermediate QA Supervision (DAIS) improves final-answer accuracy on complex reasoning tasks by converting filtered teacher rationales into stage-…

A systematic human audit of the NL-to-FOL benchmarks FOLIO and MALLS found that approximately 39% and 36% of entries, respectively, contain incorrect FOL formalizations, with additional errors in ambi…