work Efficient Verification of LLMs against Large Knowledge Graphs Measuring structural alginment fun