1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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…