2 papers
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.LG2024
Learning Better Representations From Less Data For Propositional Satisfiability
Mohamed Ghanem, Frederik Schmitt, Julian Siber +1
Training neural networks on NP-complete problems typically demands very large amounts of training data and often needs to be coupled with computationally expensive symbolic verifie…