l3lab/far-explorer-2026-09-30 download history

l3lab/far-explorer-2026-09-30 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 68 times (68 in the last 7 days), and 68 times in total. It ranks #149,549 among datasets by monthly downloads.

FAR Explorer (2026-09-30) 103,218 problems from MathDB, UnsolvedMath, VibeMathed. Embeddings: text-embedding-3-small, 1,536 dimensions. No full paper text. corpus.sqlite3.xz: database for the app. problems.jsonl.gz + embeddings.npy: records and vectors, linked by embedding_row. manif

Open l3lab/far-explorer-2026-09-30 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.