4 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Vardhan Palod, Upasana Biswas, Subbarao Kambhampati
Large Language Models (LLMs) and Large Reasoning Models (LRMs) are increasingly used for critical tasks, yet they provide no guarantees about the correctness of their solutions. Us…