87 citations · 104 across the 5 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…