Publications

1. BEAGLE: Behavior-Enforced Agent for Grounded Learner Emulation
Wang, Hanchen David, Cohn, Clayton, Xu, Zifan, Guo, Siyuan, Biswas, Gautam, Ma, Meiyi.
Advances in Neural Information Processing Systems (NeurIPS), September 2026. Accepted
arXiv

2. Skill Profiling with Attributable Reasoning (SPAR): A Wearable Analysis System for Boxing
Khan, Nibraas, Wang, Hanchen David, Bullard, Enya, Ghosh, Ritam, Haan, Ruj, Agrawal, Aarav, Ma, Meiyi, Sarkar, Nilanjan.
arXiv, September 2026. Preprint
arXiv

3. SmartSeg: A Non-Parametric Approach for Wearable Camera Video Temporal Segmentation
Wang, Hanchen David*, Liu, Yilin*, Fu, Haowei, Mason, Madison Lee, Li, Fanjie, Wise, Alyssa, Levin, Daniel T, Biswas, Gautam, Ma, Meiyi.
Pervasive and Mobile Computing, September 2026. Published
DOI

4. KineticChain: A Whole-Body Wearable Sensing Platform for Boxing Biomechanics
Khan, Nibraas, Agrawal, Aarav, Wang, Hanchen David, Ma, Meiyi, Sarkar, Nilanjan.
HCI International (HCII), Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management (DHM), July 2026. Published

5. Towards Verified and Targeted Explanations through Formal Methods
Wang, Hanchen David, Lopez, Diego Manzanas, Robinette, Preston K., Oguz, Ipek, Johnson, Taylor T., Ma, Meiyi.
Journal of Artificial Intelligence Research (JAIR), Special Track: Integration of Logical Constraints in Deep Learning, July 2026. Published
DOI arXiv

6. n2v: Neural Network Verification in Python (Competition Contribution)
Sasaki, Samuel, Wooding, Ben, Wang, Hanchen David, Tumlin, Anne M., Ma, Meiyi, Johnson, Taylor T..
International Symposium on AI Verification (SAIV), Lecture Notes in Computer Science, July 2026. Published
DOI

7. AI-Assisted Competency Assessment from Egocentric Video in Simulation-Based Nursing Education
Wang, Hanchen David, Liu, Yilin, Mason, Madison, Rayala, Surya, Biswas, Gautam, Levin, Daniel, Ma, Meiyi.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, Computer Vision for Education (CV4EDU), June 2026. Published
arXiv

8. Evidence-Decision-Feedback: Theory-Driven Adaptive Scaffolding for LLM Agents
Cohn, Clayton, Guo, Siyuan, Rayala, Surya, Wang, Hanchen David, Mohammed, Naveeduddin, Timalsina, Umesh, Jain, Shruti, Eeds, Angela, Deweese, Menton, Osborn Popp, Pamela J., Stanton, Rebekah, Walker, Shakeera, Ma, Meiyi, Biswas, Gautam.
International Conference on Artificial Intelligence in Education (AIED), June 2026. Published

9. A Theory-Guided LLM Pedagogical Agent for STEM+C Scaffolding Without Over-Reliance
Cohn, Clayton, Rayala, Surya, Guo, Siyuan, Wang, Hanchen David, Mohammed, Naveeduddin, Timalsina, Umesh, Jain, Shruti, Li, Ryan, Eeds, Angela, Deweese, Menton, Osborn Popp, Pamela J., Stanton, Rebekah, Walker, Shakeera, T S, Ashwin, Ma, Meiyi, Biswas, Gautam.
Computers & Education, May 2026. Under Review
arXiv

10. Learning with Preserving for Continual Multitask Learning
Wang, Hanchen David, Bae, Siwoo, Chen, Zirong, Ma, Meiyi.
Proceedings of the AAAI Conference on Artificial Intelligence, March 2026. Published
DOI

11. Every Rep Counts: An Adaptive Framework for Personalized and Fine-Grained Exercise and Rest Segmentation in Physical Therapy
Wang, Hanchen David, Bae, Siwoo, Sun, Xutong, Thatigotla, Yashvitha, Ma, Meiyi.
ACM Transactions on Cyber-Physical Systems, January 2026. Under Submission

12. Multimodal Methods for Analyzing Learning and Training Environments: A Systematic Literature Review
Cohn, Clayton, Davalos, Eduardo, Vatral, Caleb, Fonteles, Joyce Horn, Wang, Hanchen David, Coursey, Austin, Rayala, Surya, T S, Ashwin, Ma, Meiyi, Biswas, Gautam.
ACM Computing Surveys, December 2025. Under Review
arXiv

13. Decoding Human Motion: A Scoping Review of Explainable AI Methods in Movement Analysis
Wang, Hanchen David, Khan, Nibraas, Ghosh, Ritam, Tauseef, Mahrukh, Mion, Lorraine, Ma, Meiyi, Sarkar, Nilanjan.
Pervasive and Mobile Computing, October 2025. Under Review

14. EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy
Wang, Hanchen David, Bae, Siwoo, Sun, Xutong, Thatigotla, Yashvitha, Ma, Meiyi.
Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (ICCPS), May 2025. Published
DOI

15. Robustness Certification of Semantic Segmentation of Multiple Sclerosis Lesions
Lopez, Diego Manzanas, Liu, Han, Wang, Hanchen David, Moyer, Daniel, Ma, Meiyi, Johnson, Taylor T., Oguz, Ipek.
Medical Imaging, August 2024. Under Revision

16. MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy
Wang, Hanchen David, Khan, Nibraas, Chen, Anna, Sarkar, Nilanjan, Wisniewski, Pamela, Ma, Meiyi.
Connected Health: Applications, Systems and Engineering Technologies (CHASE), March 2024. Published
DOI

17. SUDS: Sanitizing Universal and Dependent Steganography
Robinette, Preston K., Wang, Hanchen David, Shehadeh, Nishan, Moyer, Daniel, Johnson, Taylor T..
Proceedings of the 26th European Conference on Artificial Intelligence (ECAI), September 2023. Published
arXiv

18. PhysiQ: Off-Site Quality Assessment of Exercise in Physical Therapy
Wang, Hanchen David, Ma, Meiyi.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., December 2022. Published
DOI