Dhara Thakkar

According to our database, Dhara Thakkar authored at least 9 papers between 2022 and 2026.

Collaborative distances:

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

2026

QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs.

Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye, Edward Zhang, Ruslans Aleksejevs, Todor Antic, Polina Baron, Sujeet Bhalerao, Shubhrajit Bhattacharya, Zachary Burton, John Byrne, Hyungjun Choi, Nujhat Ahmed Disha, Koppány István Encz, Yuchen Fang, Robert Joseph George, Ebrahim Ghorbani, Alan Goldfarb, Jing Guo, Meghal Gupta, Stefano Huber, Annika Kanckos, Minjung Kang, Hyun Jong Kim, Dino Lorenzini, Levi Lorenzo, Tianyi Mao, Giovanni Marzenta, Ariane M. Masuda, Lukas Mauth, Ana Mickovic, Andres Miniguano-Trujillo, Antoine Moulin, Wenqi Ni, Tomos Parry, Kevin Ren, Hossein Roodbarani, Mathieu Rundström, Manjil Saikia, Detchat Samart, Rebecca Steiner, Connor Stewart, Dhara Thakkar, Jeffrey Tse, Vasiliki Velona, Yunhai Xiang, Sibel Yalçin, Jun Yan, Ji Zeng, Arman Cohan, Quanquan C. Liu

CoRR, February, 2026

2025

Group Order is in QCMA.

François Le Gall, Harumichi Nishimura, Dhara Thakkar

Proceedings of the 66th IEEE Annual Symposium on Foundations of Computer Science, 2025

Complexity of Minimal Faithful Permutation Degree for Fitting-Free Groups.

Michael Levet, Pranjal Srivastava, Dhara Thakkar

Proceedings of the Fundamentals of Computation Theory - 25th International Symposium, 2025

2024

The Minimal Faithful Permutation Degree of Groups without Abelian Normal Subgroups.

Bireswar Das, Dhara Thakkar

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

On the Power of Border Width-2 ABPs over Fields of Characteristic 2.

Pranjal Dutta, Christian Ikenmeyer, Balagopal Komarath, Harshil Mittal, Saraswati Girish Nanoti, Dhara Thakkar

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

The Frobenius Problem for the Proth Numbers.

Pranjal Srivastava, Dhara Thakkar

Proceedings of the Algorithms and Discrete Applied Mathematics, 2024

2023

Algorithms for the Minimum Generating Set Problem.

Bireswar Das, Dhara Thakkar

CoRR, 2023

On the Complexity of the Eigenvalue Deletion Problem.

Neeldhara Misra, Harshil Mittal, Saket Saurabh, Dhara Thakkar

Proceedings of the 34th International Symposium on Algorithms and Computation, 2023

2022

Linear Space Data Structures for Finite Groups with Constant Query-Time.

Bireswar Das, Anant Kumar, Shivdutt Sharma, Dhara Thakkar

Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022