13 citations · 22 across the 16 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
Frederik Schmitt, Matthias Cosler, Niklas Metzger +4
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 fo…
cs.LO2026
Knowledge Compilation for Quantification in Alternating Automata
S. Akshay, Alfredo Cantarella, Supratik Chakraborty +2
We present a knowledge compilation approach for existential and universal quantification in alternating automata. Knowledge compilation transforms formulas into normal forms with s…