Priyanka
Priyanka
Home
CV
News
Publications
Software
Teaching
Winter-School
Light
Dark
Automatic
Functional Synthesis via Formal Methods and Machine Learning
Priyanka Golia
September 2023
PDF
Cite
Type
Thesis
Publication
PhD Thesis, National University of Singapore and Indian Institute of Technology Kanpur
Previous
Synthesis with Explicit Dependencies
Cite
×