2 citations · 2 across the 7 of their papers we have counts for
3 papers · 1 filter
Towards Verified and Targeted Explanations through Formal Methods
Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette +3
As deep neural networks are deployed in safety-critical domains such as autonomous driving and medical diagnosis, stakeholders need explanations that are interpretable but also tru…
MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy
Hanchen David Wang, Nibraas Khan, Anna Chen +3
Recent global estimates suggest that as many as 2.41 billion individuals have health conditions that would benefit from rehabilitation services. Home-based Physical Therapy (PT) fa…
Multimodal Methods for Analyzing Learning and Training Environments: A Systematic Literature Review
Clayton Cohn, Eduardo Davalos, Caleb Vatral +7
Recent technological advancements in multimodal machine learning--including the rise of large language models (LLMs)--have improved our ability to collect, process, and analyze div…