Garg, Pranav
- Invariant Synthesis for Incomplete Verification Engines
2017/12/15 by Neider, Daniel, Garg, Pranav, Madhusudan, P. +2 · 1 citation
#03B70 #68Q32 #68Q60 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- Example-based Synthesis of Static Analysis Rules
2022/04/19 by Garg, Pranav, SHS, Srinivasan Sengamedu · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Non-trivial squares and Sidorenko's conjecture
2022/06/21 by Pranav Garg, Annie Raymond, Garg, Pranav +3 · 1 citation
Mathematics · Computer Science · #Graph theory and applications #Limits and Structures in Graph Theory #Advanced Graph Theory Research
- Approximately Aligned Decoding
2024/10/01 by Melcer, Daniel, Gonugondla, Sujan, Perera, Pramuditha +7 · 1 citation
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- UTFix: Change Aware Unit Test Repairing using LLM
2025/03/19 by Shanto Rahman, Rahman, Shanto, Sachit Kuhar +13 · 1 citation
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software System Performance and Reliability #Software Testing and Debugging Techniques