Debjit Pal

1. AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation
   2024/06/26 by Vaishnavi Pulavarthi, Pulavarthi, Vaishnavi, Deeksha Nandal +5 · 9 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering (cs.SE) #Topic Modeling
2. VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs
   2024/01/17 by Giuseppe Stracquadanio, Sourav Medya, Stracquadanio, Giuseppe +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
3. ADVERSARIAL: And-Inverter Graph-Assisted Hardware Trojan Detection At Scale
   2026/07/26 by Yaroslav Popryho, Debjit Pal, Inna Partin-Vaisband
   Computer Science · #cs.LG #cs.AR #cs.CR