From 96e2e7eaa06bd978f663aabad05b8eed3a5d4f08 Mon Sep 17 00:00:00 2001
From: Ellen Xu <ellen2imagine@gmail.com>
Date: Sun, 28 Apr 2024 09:11:24 +0800
Subject: [PATCH] Update README.md

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index a193b08..9e7f1b2 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,5 @@
 # LLM PR verifier
+
+PR-Verify is an automated LLM agent for reviewing and verifying Github PRs.
+
+We verify that contributor code works as intended, by generating unit tests and executing the code with LLM-generated "oracle verifiers" (https://arxiv.org/html/2305.14591v3).