Hugging Face's logo

Spaces:
Aroy1997
/
poly_oracle
Sleeping

App Files Community
poly_oracle

Commit History

Update llm_utils.py
2a3527e
verified

Aroy1997 commited on

Update theorems.yaml
45ecf83
verified

Aroy1997 commited on

Update llm_utils.py
f5dff0e
verified

Aroy1997 commited on

Update llm_utils.py
4c45043
verified

Aroy1997 commited on

Update llm_utils.py
527648c
verified

Aroy1997 commited on

Update llm_utils.py
8058700
verified

Aroy1997 commited on

Update llm_utils.py
e99bf01
verified

Aroy1997 commited on

Update llm_utils.py
57d60f9
verified

Aroy1997 commited on

Update llm_utils.py
78b4e34
verified

Aroy1997 commited on

Update llm_utils.py
922242c
verified

Aroy1997 commited on

Update app.py
ca8dcd3
verified

Aroy1997 commited on

Create llm_utils.py
76e2e5b
verified

Aroy1997 commited on

Create solver.py
1054aa3
verified

Aroy1997 commited on

Update app.py
904898c
verified

Aroy1997 commited on

Update app.py
73dc6cd
verified

Aroy1997 commited on

Create requirements.txt
f231c81
verified

Aroy1997 commited on

Create theorems.yaml
422605b
verified

Aroy1997 commited on

Create app.py
ca82ef2
verified

Aroy1997 commited on

initial commit
8714049
verified

Aroy1997 commited on