Privacy Policy

What we collect

When you search, we log the query text and the filters you applied (sources, result type, year range, etc.).

When you submit a thumbs up or thumbs down on a result, we log the vote, the query, and the theorem name and link you voted on.

When you submit a report on a result, we log the selected reasons and, if you provided one, your free-text description. We also log the query and the theorem link associated with the report.

We do not collect your name, email address, or any account information. We use your IP address solely for rate limiting. It is not stored alongside your queries, votes, or reports.

How we use it

Query logs help us understand how TheoremSearch is used and which areas of mathematics people search most. Feedback votes are used to evaluate and improve search quality. Reports are used to identify and fix systematic issues in slogan generation and theorem parsing. We do not sell or share this data with third parties.

Contact

Questions? Reach out to vilin@uw.edu.