dl4math icon indicating copy to clipboard operation
dl4math copied to clipboard

verified publisher icon lupantech
→

Metadata

Resources of deep learning for mathematical reasoning (DL4MATH).

Results 1 dl4math issues
Sort by recently updated
recently updated
newest added

First order logic into mathematical reasoning

just thought mentioning first order logic would be fine: This 2024 paper: "[FOLIO: Natural Language Reasoning with First-Order Logic](https://arxiv.org/abs/2209.00840)" with the dataset info of FOLIO [here](https://github.com/Yale-LILY/FOLIO) would be an up-to-date,...

smyrbdr avatar smyrbdr

← Metadata

319
Stars
26
Forks
Watchers

Owner

verified publisher icon lupantech

Metadata

Resources of deep learning for mathematical reasoning (DL4MATH).

Back