Dhara Thakkar

Orcid: 0000-0002-4234-0105

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

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

2025
Group Order is in QCMA.
Proceedings of the 66th IEEE Annual Symposium on Foundations of Computer Science, 2025

Complexity of Minimal Faithful Permutation Degree for Fitting-Free Groups.
Proceedings of the Fundamentals of Computation Theory - 25th International Symposium, 2025

2024
The Minimal Faithful Permutation Degree of Groups without Abelian Normal Subgroups.
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.
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

The Frobenius Problem for the Proth Numbers.
Proceedings of the Algorithms and Discrete Applied Mathematics, 2024

2023
Algorithms for the Minimum Generating Set Problem.
CoRR, 2023

On the Complexity of the Eigenvalue Deletion Problem.
Proceedings of the 34th International Symposium on Algorithms and Computation, 2023

2022
Linear Space Data Structures for Finite Groups with Constant Query-Time.
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022


  Loading...