13 citations · 22 across the 16 of their papers we have counts for
1 paper · 1 filter
Christopher Hahn, Frederik Schmitt, Julia J. Tillman +3
We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics. In particular, we fine-tune language m…