QuaCer-C: Quantitative Certification of Knowledge Comprehension in LLMs