Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

Spaces:

Aroy1997
/

poly_oracle

Sleeping

App Files Files Community

Fetching metadata from the HF Docker repository...

17.6 kB

Ctrl+K

Ctrl+K

1 contributor

History: 19 commits

Aroy1997's picture

Update llm_utils.py

2a3527e verified 12 months ago

.gitattributes

1.52 kB
initial commit 12 months ago
README.md

232 Bytes
initial commit 12 months ago
app.py

3.09 kB
Update app.py 12 months ago
llm_utils.py

3.22 kB
Update llm_utils.py 12 months ago
requirements.txt

88 Bytes
Create requirements.txt 12 months ago
solver.py

4.29 kB
Create solver.py 12 months ago
theorems.yaml

5.12 kB
Update theorems.yaml 12 months ago