11 citations · 11 across the 4 of their papers we have counts for
4 papers
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…
Classifying Linear Matrix Inequalities via Abstract Operator Systems
Martin Berger, Tom Drescher, Tim Netzer
We systematically study how properties of abstract operator systems help classifying linear matrix inequality definitions of sets. Our main focus is on polyhedral cones, the 3-dime…
Cathoristic logic: A modal logic of incompatible propositions
Richard Prideaux Evans, Martin Berger
Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of th…