Gabriel Theodor Sonnenschein

According to our database, Gabriel Theodor Sonnenschein authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset.

Anand Menon, Samit Shahnawaz Miftah, Shamik Kundu, Souvik Kundu, Amisha Srivastava, Arnab Raha, Gabriel Theodor Sonnenschein, Suvadeep Banerjee, Deepak Mathaikutty, Kanad Basu

CoRR, March, 2025