28 citations · 72 across the 11 of their papers we have counts for
3 papers · 1 filter
Towards an Interpretable Data-driven Trigger System for High-throughput Physics Facilities
Chinmaya Mahesh, Kristin Dona, David W. Miller +1
Data-intensive science is increasingly reliant on real-time processing capabilities and machine learning workflows, in order to filter and analyze the extreme volumes of data being…
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
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…
Teaching Multiple Concepts to a Forgetful Learner
Anette Hunziker, Yuxin Chen, Oisin Mac Aodha +5
How can we help a forgetful learner learn multiple concepts within a limited time frame? While there have been extensive studies in designing optimal schedules for teaching a singl…