Spaces:

uw-math-ai
/

theorem-search

Running on CPU Upgrade

App Files Files Community

theorem-search / src

Commit History

remove connection pooling

9f6bc92

slszeto commited on 4 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

moved link; added results slider back

18847f5

slszeto commited on 14 days ago

fix connection bug

119cca5

slszeto commited on 24 days ago

fix quotes

bbf5205

slszeto commited on 24 days ago

fix connection bug

fc6ddb1

slszeto commited on 24 days ago

fix quotes

f86c8c2

slszeto commited on 26 days ago

add authors

3ddce90

slszeto commited on 26 days ago

refactoring; fixed feedback form

f8eb23f

slszeto commited on 26 days ago

added placeholder query to search bar

8d939f0

slszeto commited on 26 days ago

temp expander ui fix

02c487c

slszeto commited on 26 days ago

fixed image path

20667be

slszeto commited on 26 days ago

updated ui; search parameters

228e882

slszeto commited on 26 days ago

fixed distance function; updated ivfflat probes

864bcf1

slszeto commited on Dec 31, 2025

fixed image path

ae3b1f8

slszeto commited on Dec 28, 2025

switched to denormalized table for search

7b1bced

slszeto commited on Dec 28, 2025

added 0 citation-weight case; ui updates

c1b045f

slszeto commited on Dec 1, 2025

optimized app

a132e72

slszeto commited on Nov 24, 2025

fixed RDS loading error; clicking on link adds query and filters to RDS

59e9238

slszeto commited on Nov 13, 2025

integrated pgvector; updated SQL calls to reference new papers table; minor refactoring

947c57d

slszeto commited on Nov 9, 2025

Merge remote-tracking branch 'origin/main'

878f0ee

slszeto commited on Nov 5, 2025

added filtering by paper; ranking now uses cosine similarity and citation counts

934ea0e

slszeto commited on Nov 5, 2025

Update src/streamlit_app.py

73d4fd5
verified

slszeto commited on Nov 4, 2025

added filtering and citation counts

c38e4ce

slszeto commited on Nov 3, 2025

minor fixes

6de8c39

slszeto commited on Oct 27, 2025

better latex parsing when displaying theorems (not perfect)

ab99a3d

slszeto commited on Oct 27, 2025

Rename src/app.py to src/streamlit_app.py

e0258b8
verified

slszeto commited on Oct 22, 2025

Rename src/streamlit_app.py to src/app.py

cd94f14
verified

slszeto commited on Oct 22, 2025

Delete src/app_demo.py

409007e
verified

slszeto commited on Oct 22, 2025

Update src/streamlit_app.py

c6bcc0c
verified

slszeto commited on Oct 22, 2025

upload app demo that pulls from RDS

f1767a2
verified

slszeto commited on Oct 22, 2025

Duplicate from streamlit/streamlit-template-space

2740367
verified

FranckAbgrall HF Staff commited on Oct 14, 2025