AI RESEARCH
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
arXiv CS.LG
•
ArXi:2605.15131v1 Announce Type: new Reactive synthesis, the problem of automatically constructing a hardware circuit from a logical specification, is a long-standing challenge in formal verification. It is elusive for two reasons: It is algorithmically hard, and writing formal specifications by hand is notoriously difficult. In this paper, we tackle both sides of the problem.