Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
Aroy1997
/
poly_oracle
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
2a3527e
poly_oracle
17.6 kB
Ctrl+K
Ctrl+K
1 contributor
History:
19 commits
Aroy1997
Update llm_utils.py
2a3527e
verified
10 months ago
.gitattributes
Safe
1.52 kB
initial commit
10 months ago
README.md
Safe
232 Bytes
initial commit
10 months ago
app.py
Safe
3.09 kB
Update app.py
10 months ago
llm_utils.py
Safe
3.22 kB
Update llm_utils.py
10 months ago
requirements.txt
Safe
88 Bytes
Create requirements.txt
10 months ago
solver.py
Safe
4.29 kB
Create solver.py
10 months ago
theorems.yaml
Safe
5.12 kB
Update theorems.yaml
10 months ago
