Search papers, labs, and topics across Lattice.
University of Pennsylvania
1
0
3
Models ace existing claim verification benchmarks by only checking the most obvious constraint, and fall apart when forced to consider multiple constraints together.
