1 citations · 1 across the 1 of their papers we have counts for
1 paper
Matthew DeLorenzo, Kevin Tieu, Prithwish Jana +4
Large language models (LLMs) have achieved impressive proficiency on logic and programming tasks, often rivaling expert-level performance. However, generating functionally correct…