Ashutosh Trivedi

reinforcement learning (4) formal verification (3) large language model (2) markov decision process (2) natural language generation (1) text generation (1) puzzle solving (1) formal methods (1) in-context learning (1) explanation generation (1) recursive neural network (1) dynamic programming (1) optimal policy (1) discounted reward (1) dynamical system (1) pac learning (1) human-ai collaboration (1) markov game (1) reward shaping (1) model-based learning (1)