LLM-assisted verification tools

LLM-assisted verification tools is a tool technology tracked in AI research papers.