Dhara Thakkar

15 papers A* 2A 2B 2Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs.
CoRR
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
2026 J jnl
The Minimal Faithful Permutation Degree of Groups Without Abelian Normal Subgroups.
SIAM J. Comput.
Bireswar Das, Dhara Thakkar
2025 B conf
Complexity of Minimal Faithful Permutation Degree for Fitting-Free Groups.
FCT
Michael Levet, Pranjal Srivastava, Dhara Thakkar
2025 J jnl
Complexity of Minimal Faithful Permutation Degree for Fitting-free Groups.
CoRR
Michael Levet, Pranjal Srivastava, Dhara Thakkar
2025 A* conf
Group Order is in QCMA.
FOCS
François Le Gall, Harumichi Nishimura, Dhara Thakkar
2025 J jnl
Group Order is in QCMA.
CoRR
François Le Gall, Harumichi Nishimura, Dhara Thakkar
2024 J jnl
Linear Space Data Structures for Finite Groups with Constant Query-Time.
Algorithmica
Bireswar Das, Anant Kumar, Shivdutt Sharma, Dhara Thakkar
2024 A conf
On the Power of Border Width-2 ABPs over Fields of Characteristic 2.
STACS
Pranjal Dutta, Christian Ikenmeyer, Balagopal Komarath, Harshil Mittal, Saraswati Girish Nanoti, Dhara Thakkar
2024 — conf
The Frobenius Problem for the Proth Numbers.
CALDAM
Pranjal Srivastava, Dhara Thakkar
2024 A* conf
The Minimal Faithful Permutation Degree of Groups without Abelian Normal Subgroups.
STOC
Bireswar Das, Dhara Thakkar
2023 J jnl
Algorithms for the Minimum Generating Set Problem.
CoRR
Bireswar Das, Dhara Thakkar
2023 J jnl
Linear Space Data Structures for Finite Groups with Constant Query-time.
CoRR
Bireswar Das, Anant Kumar, Shivdutt Sharma, Dhara Thakkar
2023 B conf
On the Complexity of the Eigenvalue Deletion Problem.
ISAAC
Neeldhara Misra, Harshil Mittal, Saket Saurabh, Dhara Thakkar
2023 J jnl
On the Complexity of the Eigenvalue Deletion Problem.
CoRR
Neeldhara Misra, Harshil Mittal, Saket Saurabh, Dhara Thakkar
2022 A conf
Linear Space Data Structures for Finite Groups with Constant Query-Time.
STACS
Bireswar Das, Anant Kumar, Shivdutt Sharma, Dhara Thakkar