research
∙
12/19/2022
Resoling Open-textured Rules with Templated Interpretive Arguments
Open-textured terms in written rules are typically settled through inter...
research
∙
05/06/2020
Probing the Natural Language Inference Task with Automated Reasoning Tools
The Natural Language Inference (NLI) task is an important task in modern...
research
∙
11/05/2019