Ryan Othniel Kearns

benchmark datasets · benchmarks · construct validity · formal semantics · deductive inference · computational logic · large language models · deep learning · natural language processing · textual entailment · synthetic data generation