38 citations · 61 across the 14 of their papers we have counts for
4 papers · 1 filter
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
Haoze Wu, Christopher Hahn, Florian Lonsing +3
We present Self-Driven Strategy Learning (), a lightweight online learning methodology for automated reasoning tasks that involve solving a set of related problems.…
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
Matthias Cosler, Christopher Hahn, Daniel Mendoza +2
A rigorous formalization of desired system requirements is indispensable when performing any verification task. This often limits the application of verification techniques, as wri…
Iterative Circuit Repair Against Formal Specifications
Matthias Cosler, Frederik Schmitt, Christopher Hahn +1
We present a deep learning approach for repairing sequential circuits against formal specifications given in linear-time temporal logic (LTL). Given a defective circuit and its for…
Fast Convergence of -Opinion Undecided State Dynamics in the Population Protocol Model
Talley Amir, James Aspnes, Petra Berenbrink +4
We analyze the convergence of the -opinion Undecided State Dynamics (USD) in the population protocol model. For =2 opinions it is well known that the USD reaches consensus wi…