Validating Large Language Models with ReLM
Kuchnik, Michael, Smith, Virginia, Amvrosiadis, George · arXiv · 2022