9 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
Saugata Basu, Negin Karisani, Laxmi Parida
We consider the problem of generating hypothesis from data based on ideas from logic. We introduce a notion of barcodes, which we call sequent barcodes, that mirrors the barcodes i…