Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

Aroy1997
/

poly_oracle

Sleeping

App Files Files Community

Fetching metadata from the HF Docker repository...

17.6 kB

1 contributor

History: 19 commits

Aroy1997's picture

Update llm_utils.py

2a3527e verified 7 months ago

.gitattributes
1.52 kB

initial commit 7 months ago
README.md
232 Bytes

initial commit 7 months ago
app.py
3.09 kB

Update app.py 7 months ago
llm_utils.py
3.22 kB

Update llm_utils.py 7 months ago
requirements.txt
88 Bytes

Create requirements.txt 7 months ago
solver.py
4.29 kB

Create solver.py 7 months ago
theorems.yaml
5.12 kB

Update theorems.yaml 7 months ago