Arohee Bhoja

According to our database, Arohee Bhoja authored at least 2 papers in 2025.

Collaborative distances:

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

2025

A verified implementation of the Misra and Gries edge coloring algorithm.

Arohee Bhoja

CoRR, December, 2025

Algebra Is Half the Battle: Verifying Presentations of Graded Unipotent Chevalley Groups.

Eric Wang, Arohee Bhoja, Cayden R. Codel, Noah G. Singer

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025