Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification. - Aman Kumar; Deepak Narayan Gadde; Luu Danh Minh; Vaisakh Naduvodi Viswambharan; Keerthan Kopparam Radhakrishna; Sivaram Pothireddypalli (CoRR, 2026)

ConnChecker: Automated Root-Cause Analysis for Formal Connectivity Check via Graph. - Do Ngoc Tiep; Nguyen Linh Anh; Luu Danh Minh (CoRR, 2026)