Space: uw-math-ai/theorem-search
title: Theorem Search
sdk: docker
tags: streamlit
short_description: Find math theorems faster.
license: mit
arxiv: 2602.05216
thumbnail: https://cdn-uploads.huggingface.co/production/uploads/68f6c5227dbd571d889d77d0/EL1gYLps8yOTb-zDDHTTx.png
datasets: uw-math-ai/theorem-search-dataset
Tags: docker, streamlit, region:us