Sarthak Das

Orcid: 0000-0001-7271-6612

According to our database1, Sarthak Das authored at least 5 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2026
OpenPyRo-A1: An Open Python-Based Low-Cost Bimanual Robot for Embodied AI.
IEEE Robotics Autom. Lett., January, 2026

2025
Ark: An Open-source Python-based Framework for Robot Learning.
CoRR, June, 2025

BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification.
CoRR, April, 2025

SobolBox: Boxed Refinement of Sobol Sequence Samples for Neural Network Verification (Competition Contribution).
Proceedings of the AI Verification - Second International Symposium, 2025

2023
SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems.
ACM Trans. Embed. Comput. Syst., March, 2023


  Loading...