VerifAI
Task: LLM comparison
Code accuracy verification with language models.