Trustworthy Formal Natural Language Specifications

5 October 2023

Papers citing "Trustworthy Formal Natural Language Specifications"

4 / 4 papers shown

Title
Limits for Learning with Language Models Nicholas M. Asher Swarnadeep Bhar Akshay Chaturvedi Julie Hunter Soumya Paul 19 21 0 21 Jun 2023
Autoformalization with Large Language Models Yuhuai Wu Albert Q. Jiang Wenda Li M. Rabe Charles Staats M. Jamnik Christian Szegedy AI4CE 108 156 0 25 May 2022
Natural Language Specifications in Proof Assistants Colin S. Gordon Sergey Matskevich 28 1 0 16 May 2022
Sorting through the noise: Testing robustness of information processing in pre-trained language models Lalchand Pandia Allyson Ettinger 36 37 0 25 Sep 2021