Spaces:

uw-math-ai
/

theorem-search

Running on CPU Upgrade

App Files Files Community

theorem-search / src /db.py

Commit History

remove connection pooling

9f6bc92

slszeto commited on 5 days ago

switch to qwen8b database and refactor code

12945f4

slszeto commited on 7 days ago

save user queries

e3f383e

slszeto commited on 15 days ago

fix connection bug

119cca5

slszeto commited on 26 days ago

fix connection bug

fc6ddb1

slszeto commited on 26 days ago

refactoring; fixed feedback form

f8eb23f

slszeto commited on 28 days ago

updated ui; search parameters

228e882

slszeto commited on 28 days ago

switched to denormalized table for search

7b1bced

slszeto commited on Dec 28, 2025