4 citations · 4 across the 9 of their papers we have counts for
5 papers · 1 filter
Proximity-based approximation algorithms for integer bilevel programs
Sriram Sankaranarayanan, V. Shubha Vatsalya
We primarily consider bilevel programs where the lower level is a convex quadratic minimization problem under integer constraints. We show that it is -hard to decide if the…
Large Language Models Enable Automated Formative Feedback in Human-Robot Interaction Tasks
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
We claim that LLMs can be paired with formal analysis methods to provide accessible, relevant feedback for HRI tasks. While logic specifications are useful for defining and assessi…
Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
The workforce will need to continually upskill in order to meet the evolving demands of industry, especially working with robotic and autonomous systems. Current training methods a…
Best-response Algorithms for Lattice Convex-Quadratic Simultaneous Games
Sriram Sankaranarayanan
We evaluate the best-response (BR) algorithm for lattice convex-quadratic games, where the players have nonlinear objectives and unbounded feasible sets. We provide a sufficient co…
Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
Saeid Tizpaz-Niari, Sriram Sankaranarayanan
This paper leverages the statistics of extreme values to predict the worst-case convergence times of machine learning algorithms. Timing is a critical non-functional property of ML…