Hugging Face's logo

ma7583
/
pvs_oracle

Safetensors
llama
Model card Files
xet
Community
ma7583 commited on
Commit
142a8b5
·
verified ·
1 Parent(s): df4271d

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +2 -0
README.md CHANGED
@@ -4,6 +4,8 @@ license: mit
4
 
5
  # PVSGym: A Proof Learning Environment
6
 
 
 
7
  Paper: https://openreview.net/forum?id=NpytqGYVPa&noteId=NpytqGYVPa
8
 
9
  This repository contains models and a web server that use LLMs to assist
 
4
 
5
  # PVSGym: A Proof Learning Environment
6
 
7
+ https://www.manojacharya.com/pvsgym
8
+
9
  Paper: https://openreview.net/forum?id=NpytqGYVPa&noteId=NpytqGYVPa
10
 
11
  This repository contains models and a web server that use LLMs to assist