Priyanka Golia

According to our database, Priyanka Golia authored at least 10 papers between 2020 and 2026.

Collaborative distances:

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

2026

Explaining Rankings with Hidden Group Bonuses.

Alvin Hong Yao Yan, Suraj Shetiya, Sujoy Bhore, Priyanka Golia, Diptarka Chakraborty

CoRR, May, 2026

Provable Guarantees in Approximate Synthesis.

Kushagra Gupta, Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2025

A scalable entropy estimator.

Priyanka Golia, Brendan Juba, Kuldeep S. Meel

Formal Methods Syst. Des., August, 2025

2023

Synthesis with Explicit Dependencies.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

On Quantitative Testing of Samplers.

Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

A Scalable Shannon Entropy Estimator.

Priyanka Golia, Brendan Juba, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Program Synthesis as Dependency Quantified Formula Modulo Theory.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Engineering an Efficient Boolean Functional Synthesis Engine.

Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Designing Samplers is Easy: The Boon of Testers.

Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Manthan: A Data-Driven Approach for Boolean Function Synthesis.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020