4 papers
SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification
Swapnil Bhattacharyya, Mayank Baranwal
Large Language Models (LLMs) have shown remarkable promise in translating and reformulating complex mathematical optimization problems across modeling languages. However, validatin…
HalluDetect: Detecting, Mitigating, and Benchmarking Hallucinations in Conversational Systems in the Legal Domain
Spandan Anaokar, Shrey Ganatra, Harshvivek Kashid +6
Large Language Models (LLMs) are widely used in industry but remain prone to hallucinations, limiting their reliability in critical applications. This work addresses hallucination…
Nyay-Darpan: Enhancing Decision Making Through Summarization and Case Retrieval for Consumer Law in India
Swapnil Bhattacharyya, Harshvivek Kashid, Shrey Ganatra +6
AI-based judicial assistance and case prediction have been extensively studied in criminal and civil domains, but remain largely unexplored in consumer law, especially in India. In…
Consumer Grievance Redressal through Large Language Models
Shrey Ganatra, Swapnil Bhattacharyya, Harshvivek Kashid +6
Access to consumer grievance redressal in India is often hindered by procedural complexity, legal jargon, and jurisdictional challenges. To address this, we present $\textbf{Grahak…