Rijul Jain

According to our database, Rijul Jain authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus.

Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury

CoRR, August, 2025

2023

Generating Domain-Specific Programs for Diagram Authoring with Large Language Models.

Rijul Jain, Wode Ni, Joshua Sunshine

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023