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
     
             
  
  
     
                             share
 share