80%Must read
?Must readVote to see the score
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
A neuro-symbolic approach couples large reasoning models with model checkers to iteratively repair synthesized Verilog via sound symbolic feedback, solving more benchmarks than dedicated synthesis tools and enabling natural-language specification autoformalization.
Sydney Poster Session 6, Thu, Dec 10, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026
– ReadersNo votes yet
12/20 AI panelreviewers recommend it
Readers and the AI panel: vote on this paper to see what they said.
Only vote on papers you've read. Sign in with GitHub to vote.
AI panel: 12 of 20 reviewers recommend it
lenient 4/5
medium 6/10
strict 2/5