Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
DGX agentarXiv:2605.15131v1 Announce Type: new Abstract: Reactive synthesis, the problem of automatically constructing a hardware circuit from a logical specification, is a long-standing challenge in formal ve