Markovic, MilanSripada, SomayajuluChakrabart, Sujit KumarDiddigi, Raghuram Bharadwaj2024-10-172024-10-172024-10-17Markovic, M, Sripada, S, Chakrabart, S K & Diddigi, R B 2024, 'Towards LLM-driven Automated Verification of Best Practices in Digital Public Infrastructures', CEUR Workshop Proceedings, vol. 3822, pp. 19-23. < https://ceur-ws.org/Vol-3822/short2.pdf >1613-0073ORCID: /0000-0002-5428-8383/work/181279674https://hdl.handle.net/2164/24417Acknowledgments We thank Aishwarya Narayan (Dvara Research) for her support5168519engSDG 9 - Industry, Innovation, and InfrastructureDigital Public InfrastructuresInfrastructure Analysis, Large Language ModelFormal VerificationQA75 Electronic computers. Computer scienceGeneral Computer ScienceQA75Journal itemhttps://www.scopus.com/pages/publications/85210045900https://ceur-ws.org/Vol-3822/https://ceur-ws.org/Vol-3822/short2.pdf