2 papers
cs.RO2025
Ark: An Open-source Python-based Framework for Robot Learning
Magnus Dierking, Christopher E. Mower, Sarthak Das +10
Robotics has made remarkable hardware strides-from DARPA's Urban and Robotics Challenges to the first humanoid-robot kickboxing tournament-yet commercial autonomy still lags behind…
cs.LG2025
BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification
Sarthak Das
BoxRL-NNV is a Python tool for the detection of safety violations in neural networks by computing the bounds of the output variables, given the bounds of the input variables of the…