research
∙
02/11/2023
Languages with Decidable Learning: A Meta-theorem
We study expression learning problems with syntactic restrictions and in...
share
research
∙
11/05/2021
Learning Formulas in Finite Variable Logics
We consider grammar-restricted exact learning of formulas and terms in f...
research
∙
11/12/2020
Deciding Accuracy of Differential Privacy Schemes
Differential privacy is a mathematical framework for developing statisti...
research
∙
10/22/2019
Decidable Synthesis of Programs with Uninterpreted Functions
We identify a decidable synthesis problem for a class of programs of unb...
research
∙
06/29/2019