just thought mentioning first order logic would be fine:
This 2024 paper: "FOLIO: Natural Language Reasoning with First-Order Logic" with the dataset info of FOLIO here would be an up-to-date, important-to-check resource to work through mathematical reasoning.
just thought mentioning first order logic would be fine:
This 2024 paper: "FOLIO: Natural Language Reasoning with First-Order Logic" with the dataset info of FOLIO here would be an up-to-date, important-to-check resource to work through mathematical reasoning.