Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / src /streamlit_app.py

Commit History

Update src/streamlit_app.py

3d74df5

Running
verified

slszeto commited on 2 days ago

Update src/streamlit_app.py

d7e3505
verified

slszeto commited on 2 days ago

added 0 citation-weight case; ui updates

c1b045f

Sophie commited on 11 days ago

optimized app

a132e72

Sophie commited on 18 days ago

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

59e9238

Sophie commited on 29 days ago

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

947c57d

Sophie commited on Nov 9

Merge remote-tracking branch 'origin/main'

878f0ee

Sophie commited on Nov 5

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

934ea0e

Sophie commited on Nov 5

Update src/streamlit_app.py

73d4fd5
verified

slszeto commited on Nov 4

added filtering and citation counts

c38e4ce

Sophie commited on Nov 3

minor fixes

6de8c39

Sophie commited on Oct 27

better latex parsing when displaying theorems (not perfect)

ab99a3d

Sophie commited on Oct 27

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

e0258b8
verified

slszeto commited on Oct 22

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

cd94f14
verified

slszeto commited on Oct 22

Update src/streamlit_app.py

c6bcc0c
verified

slszeto commited on Oct 22

Duplicate from streamlit/streamlit-template-space

2740367
verified

FranckAbgrall HF Staff commited on Oct 14