works on
code generation 1compiler feedback 1constrained decoding 1large language models 1partial program checking 1rust 1

From the 1 of 6 linked papers with an AI index.

activity
20242026
most citedVERINA: Benchmarking Verifiable Code Generation

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2024

Formal Mathematical Reasoning: A New Frontier in AI

Kaiyu Yang, Gabriel Poesia, Jingxuan He +4

AI for Mathematics (AI4Math) is not only intriguing intellectually but also crucial for AI-driven discovery in science, engineering, and beyond. Extensive efforts on AI4Math have m…