6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.CL2025
A Neurosymbolic Approach to Natural Language Formalization and Verification
Chenyang An, Sam Bayless, Stefano Buliani +27
Large Language Models perform well at natural language interpretation and reasoning, but their lack of formal correctness guarantees limits their adoption in regulated industries l…
cs.PL2015★ 6 cited
Occurrence Typing Modulo Theories
Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt
We present a new type system combining occurrence typing, previously used to type check programs in dynamically-typed languages such as Racket, JavaScript, and Ruby, with dependent…