# Nadia Labai — Patents explained on PatentBrief

Nadia Labai has 2 landmark patents explained in plain English on PatentBrief.

- [How to Check if a Large Language Model's Answer is True](https://patentbrief.org/patent/us/20250200392/large-language-model-verification)
  Amazon's patent details a system for verifying large language model responses by having a second AI translate the answer into formal logic, which an automated theorem prover then checks for validity or invalidity.
- [How Chatbots Use AI and Fact Databases to Learn and Improve](https://patentbrief.org/patent/us/12531820/knowledge-graph-assisted-large-language-models) — granted 2026
  This patent describes how a chatbot can combine the broad answering abilities of a large language model with a structured knowledge graph to provide more accurate, verifiable, and debuggable responses, especially for repeat questions.

**Full profile:** https://patentbrief.org/inventor/nadia-labai

---

_Source: PatentBrief — https://patentbrief.org. Plain-English explanations of US patents._