proofsteps-from-proof-pile-v2

Runtime error

xu3kev commited on Nov 1, 2023

Commit

4f34678

1 Parent(s): e406738

Update app.py

Files changed (1) hide show

app.py CHANGED Viewed

@@ -11,7 +11,7 @@ st.markdown("""
 Here you can inspect proofsteps from [Proof-Pile-V2](https://huggingface.co/datasets/EleutherAI/proof-pile-2).
 """)
-@st.cache()
 def load_data(lang):
     if lang == "Lean Proofsteps":
         split = "lean_proofsteps"

 Here you can inspect proofsteps from [Proof-Pile-V2](https://huggingface.co/datasets/EleutherAI/proof-pile-2).
 """)
+@st.cache(max_entries=100)
 def load_data(lang):
     if lang == "Lean Proofsteps":
         split = "lean_proofsteps"