7 citations · 19 across the 13 of their papers we have counts for
3 papers · 1 filter
Towards a Mathematics Formalisation Assistant using Large Language Models
Ayush Agrawal, Siddhartha Gadgil, Navin Goyal +2
Mathematics formalisation is the task of writing mathematics (i.e., definitions, theorem statements, proofs) in natural language, as found in books and papers, into a formal langua…
Lyapunov Design for Robust and Efficient Robotic Reinforcement Learning
Tyler Westenbroek, Fernando Castaneda, Ayush Agrawal +2
Recent advances in the reinforcement learning (RL) literature have enabled roboticists to automatically train complex policies in simulated environments. However, due to the poor s…
Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots
Jason J. Choi, Ayush Agrawal, Koushil Sreenath +2
Contact-rich robotic systems, such as legged robots and manipulators, are often represented as hybrid systems. However, the stability analysis and region-of-attraction computation…