Formal Certification Specifications | Vedaant Jainhttps://vedaantjain.netlify.app/tags/formal-certification-specifications/Formal Certification SpecificationsHugo Blox Builder (https://hugoblox.com)en-usTue, 10 Sep 2024 00:00:00 +0000https://vedaantjain.netlify.app/media/icon_hu68170e94a17a2a43d6dcb45cf0e8e589_3079_512x512_fill_lanczos_center_3.pngFormal Certification Specificationshttps://vedaantjain.netlify.app/tags/formal-certification-specifications/Quacer-C- Quantitative Certification of Knowledge Comprehension in LLMshttps://vedaantjain.netlify.app/project/quacer-c/Tue, 10 Sep 2024 00:00:00 +0000https://vedaantjain.netlify.app/project/quacer-c/<p>QuaCer-C is a framework for quantitatively certifying the knowledge comprehension capabilities of Large Language Models (LLMs). Using the structured nature of knowledge graphs, we are able to derive specifications for reasoning over unstructured data like text providing a way to formally understanding reasoning using exact confidence intervals.</p> <p>Authors: Isha Chaudhary, Vedaant Jain, Gagandeep Singh</p>