40 citations · 40 across the 1 of their papers we have counts for
1 paper · 1 filter
Richard Evans, David Saxton, David Amos +2
We introduce a new dataset of logical entailments for the purpose of measuring models' ability to capture and exploit the structure of logical expressions against an entailment pre…