64 citations · 253 across the 34 of their papers we have counts for
1 paper · 2 filters
Zhe Xu, Yuxin Chen, Ufuk Topcu
Machine teaching is an algorithmic framework for teaching a target hypothesis via a sequence of examples or demonstrations. We investigate machine teaching for temporal logic formu…