17 citations · 35 across the 10 of their papers we have counts for
3 papers · 1 filter
Correct and Optimal: the Regular Expression Inference Challenge
Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci +1
We propose regular expression inference (REI) as a challenge for code/language modelling, and the wider machine learning community. REI is a supervised machine learning (ML) and pr…
Search-Based Regular Expression Inference on a GPU
Mojtaba Valizadeh, Martin Berger
Regular expression inference (REI) is a supervised machine learning and program synthesis problem that takes a cost metric for regular expressions, and positive and negative exampl…
A modest proposal: explicit support for foundational pluralism
Martin Berger, Dominic P. Mulligan
Whilst mathematicians assume classical reasoning principles by default they often context switch when working, restricting themselves to various forms of subclassical reasoning. Th…