Ajit Mallavarapu

According to our database, Ajit Mallavarapu authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Learning to Repair Lean Proofs from Compiler Feedback.

Evan Wang, Simon Chess, Daniel Lee, Siyuan Ge, Ajit Mallavarapu, Vasily Ilin

CoRR, February, 2026

2025

Caption: Generating Informative Content Labels for Image Buttons Using Next-Screen Context.

Mingyuan Zhong, Ajit Mallavarapu, Qing Nie

Proceedings of the Adjunct Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology, 2025