Amisha Srivastava

PhD student, University of Texas at Dallas

Joined

March 2024

Names

Amisha Srivastava (Preferred)

Emails

****@utdallas.edu (Confirmed)

Personal Links

Career & Education History

PhD student

University of Texas at Dallas (utdallas.edu)

2022 – 2027

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

VERT: A SystemVerilog Assertion Dataset to Improve Hardware Verification with LLMs
Anand Menon, Samit S Miftah, Shamik Kundu, Souvik Kundu, Amisha Srivastava, Arnab Raha, Gabriel Theodor Sonnenschein, Suvadeep Banerjee, Deepak Mathaikutty, Kanad Basu
- Submitted to ICLR 2025
- Readers: Everyone

Co-Authors