Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2205.07811
Cited By
Natural Language Specifications in Proof Assistants
16 May 2022
Colin S. Gordon
Sergey Matskevich
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Natural Language Specifications in Proof Assistants"
2 / 2 papers shown
Title
Trustworthy Formal Natural Language Specifications
Colin S. Gordon
Sergey Matskevich
HILM
14
3
0
05 Oct 2023
Sorting through the noise: Testing robustness of information processing in pre-trained language models
Lalchand Pandia
Allyson Ettinger
34
37
0
25 Sep 2021
1
