Ashutosh Trivedi
10 papers · 2022–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Gold πΊοΈ Taxonomy Completionist (29) π Conference Polyglot Β· Silver ποΈ Keyword Collector (57) π Renaissance Researcher (7)
π₯
Unstoppable Β· Bronze
π
Century Club Β· Bronze
Top co-authors
Research topics
Artificial Intelligence
(9)
Core AI
(8)
Reinforcement Learning
(5)
Methods
(5)
Knowledge & Reasoning
(4)
Reasoning
(4)
Machine Learning
(3)
Learning Types
(3)
Mathematics & Optimization
(2)
Natural Language Processing
(2)
Generation
(2)
Optimization
(2)
Optimization & Theory
(2)
Computer Science
(1)
Deep Learning
(1)
Keywords
reinforcement learning
(4)
formal verification
(3)
large language model
(3)
markov decision process
(2)
controller synthesis
(2)
dynamical system
(2)
text generation
(1)
natural language generation
(1)
puzzle solving
(1)
formal methods
(1)
in-context learning
(1)
dynamic programming
(1)
optimal policy
(1)
discounted reward
(1)
human-ai collaboration
(1)
explanation generation
(1)
recursive neural network
(1)
markov game
(1)
safety verification
(1)
pac learning
(1)
Papers
BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
L4DC 2026
Continuous-Time Reward Machines
IJCAI 2025
Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
ACL 2025
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
AAAI 2024
Assume-Guarantee Reinforcement Learning
AAAI 2024
Neural Closure Certificates
AAAI 2024
Omega-Regular Decision Processes
AAAI 2024
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements
AAAI 2023
On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software
EMNLP 2023
Recursive Reinforcement Learning
NeurIPS 2022