Sharma, Reshabh K

1. SPML: A DSL for Defending Language Models Against Prompt Attacks
   2024/02/19 by Reshabh K Sharma, Sharma, Reshabh K, Vinayak Gupta +3 · 1 voice · 7 citations
   Computer Science · #Security and Verification in Computing #cs.CL #cs.CR #cs.LG #cs.PL
2. PromptPex: Automatic Test Generation for Language Model Prompts
   2025/03/07 by Reshabh K Sharma, Sharma, Reshabh K, Jonathan De Halleux +6 · 2 voices · 5 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.AI #cs.SE