Spaces:

uw-math-ai
/

theorem-search

Running on CPU Upgrade

App Files Files Community

theorem-search / src /utils.py

Commit History

remove connection pooling

9f6bc92

slszeto commited on 3 days ago

switch to qwen8b database and refactor code

12945f4

slszeto commited on 5 days ago

save user queries

e3f383e

slszeto commited on 14 days ago

updated ui; search parameters

228e882

slszeto commited on 26 days ago