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 about 1 year ago

.gitattributes

1.52 kB
initial commit about 1 year ago
README.md

232 Bytes
initial commit about 1 year ago
app.py

3.09 kB
Update app.py about 1 year ago
llm_utils.py

3.22 kB
Update llm_utils.py about 1 year ago
requirements.txt

88 Bytes
Create requirements.txt about 1 year ago
solver.py

4.29 kB
Create solver.py about 1 year ago
theorems.yaml

5.12 kB
Update theorems.yaml about 1 year ago