1 citations · 1 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
GPU accelerated program synthesis: Enumerate semantics, not syntax!
Martin Berger, Nathanaël Fijalkow, Mojtaba Valizadeh
Program synthesis is an umbrella term for generating programs and logical formulae from specifications. With the remarkable performance improvements that GPUs enable for deep learn…
cs.PL2024★ 1 cited
LTL learning on GPUs
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
Linear temporal logic (LTL) is widely used in industrial verification. LTL formulae can be learned from traces. Scaling LTL formula learning is an open problem. We implement the fi…