I skimmed the paper you linked. Which to be clear to other readers, is a write-up of the technology used in the first link. It looked to me like they use small

I skimmed the paper you linked. Which to be clear to other readers, is a write-up of the technology used in the first link. It looked to me like they use small LLMs to identify factual claims, and rewrite them into search terms. Then the terms are searched using an internal database or search engine, and then LLMs are used to roughly classify how true the sources think the claim is. It looks like a neat product, and trying out the link shows that the sources themselves are presented alongside the classification for the human to peruse, but it looks like it is using LLMs rather heavily. I certainly wouldn't classify it as a non-LLM fact checker.