Trustworthy Formal Natural Language Specifications

5 October 2023

Papers citing "Trustworthy Formal Natural Language Specifications"

5 / 5 papers shown

Title
Language models are not naysayers: An analysis of language models on negation benchmarks Thinh Hung Truong Timothy Baldwin Karin Verspoor Trevor Cohn 69 57 0 14 Jun 2023
Towards Property-Based Tests in Natural Language Colin S. Gordon ELM 42 2 0 08 Feb 2022
Sorting through the noise: Testing robustness of information processing in pre-trained language models Lalchand Pandia Allyson Ettinger 68 37 0 25 Sep 2021
A CCG-Based Version of the DisCoCat Framework Richie Yeung Dimitri Kartsaklis 34 21 0 17 May 2021
A Survey and Classification of Controlled Natural Languages Tobias Kuhn 35 361 0 07 Jul 2015