26 citations · 73 across the 21 of their papers we have counts for
1 paper · 2 filters
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…