Regulatory Graphs and GenAI for Real-Time Transaction Monitoring and Compliance Explanation in Banking. - Kunal Khanvilkar; Kranthi Kommuru (CoRR, 2025)

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning. - Kranthi Kommuru; Kunal Khanvilkar; Gaurav Parekh (CoRR, 2026)