Merge branch 'main' of github.com:ellenjxu/pr-verify

ellenjxu · Apr 28, 2024 · 73da5c4 · 73da5c4
2 parents 531c515 + 96e2e7e
commit 73da5c4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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).