2 citations · 3 across the 2 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…