Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
SANGAM: SystemVerilog Assertion Generation via Monte Carlo Tree Self-Refine
Adarsh Gupta, Bhabesh Mali, Chandan Karfa
Recent advancements in the field of reasoning using Large Language Models (LLMs) have created new possibilities for more complex and automatic Hardware Assertion Generation techniq…
cs.AI2025
Dual Formulation for Non-Rectangular Lp Robust Markov Decision Processes
Navdeep Kumar, Adarsh Gupta, Maxence Mohamed Elfatihi +3
We study robust Markov decision processes (RMDPs) with non-rectangular uncertainty sets, which capture interdependencies across states unlike traditional rectangular models. While…