Skip to content

Subhankar Jana

PhD Student

Formal Verification in Deep Learning, Program Synthesis

Advisor: Kumar Madhukar, Priyanka Golia