research
∙
05/20/2023
Learning Horn Envelopes via Queries from Large Language Models
We investigate an approach for extracting knowledge from trained neural ...
share
research
∙
06/13/2022
Characterising Modal Formulas with Examples
We initiate the study of finite characterizations and exact learnability...
research
∙
06/13/2022
Local Dependence and Guarding
We study LFD, a base logic of functional dependence introduced by Baltag...
research
∙
07/13/2021