University of Washington
A public research university with campuses in Seattle, Bothell and Tacoma. · Research
How they use Nebius Token Factory
The University of Washington’s Math AI Lab used Nebius Token Factory credits for Theorem Search. The project turns mathematical statements into plain-English descriptions and embeds them for semantic retrieval. Its research paper acknowledges Nebius and Token Factory for LLM tokens. The team indexed 9.2 million theorem statements and reported 45% theorem-level Hit@20 on 111 queries written by mathematicians.
The lab also uses Nebius in related mathematical research pipelines. Researcher Eric Leonen describes using Token Factory alongside AWS services and UW’s Hyak cluster for TheoremGraph’s statement parsing and dependency connecting. The lab’s math2vec README documents a dataset script that restates theorems with DeepSeek through the Nebius API. These disclosures establish model inference and mathematical text processing, with support scoped to the named research projects.
Sources
5 sourcesEric Leonen research work
19 Oct 2026 · Eric Leonen · Web page
Eric Leonen describes using Nebius Token Factory alongside AWS services and UW’s Hyak cluster for statement parsing and dependency connecting in TheoremGraph, a University of Washington Math AI Lab project.
Open original sourceSemantic Search over 9 Million Mathematical Theorems
19 Oct 2026 · arXiv · Web page
The University of Washington-affiliated Theorem Search authors acknowledge Nebius and Token Factory for LLM tokens. The paper describes DeepSeek-generated English theorem descriptions and retrieval over 9.2 million statements, reporting 45% theorem-level Hit@20 on 111 queries.
Open original sourcemath2vec dataset pipeline README
19 Oct 2026 · GitHub · Web page
The UW Math AI Lab’s math2vec README documents a dataset pipeline script that translates or restates theorems using DeepSeek through the Nebius API and saves the results to CSV files.
Open original sourceUW Math AI Lab GitHub organization
19 Oct 2026 · GitHub · Web page
The UW Math AI Lab’s organization README names Nebius among its supporters. This statement establishes support without identifying a service or assigning the lab’s other projects to Nebius.
Open original sourceCompany context
washington.eduThe University of Washington is a public research university founded in 1861, with campuses in Seattle, Bothell and Tacoma. It provides undergraduate, graduate and professional education, alongside certificates and continuing education for working adults. Its academic programs span fields including engineering, computer science, business, arts and health sciences. Faculty and students conduct research across these disciplines, while UW Medicine combines medical education and research with hospital and clinical care for patients across Washington and the surrounding region.
University of Washington — About the UWRecent updates
7 updatesUW engineering receives $12 million Winbond gift
Winbond Electronics Corporation America committed $12 million to establish an engineering endowment. The fund will support research, scholarships, faculty recruitment and research infrastructure.
UW NewsUW-led optoelectronics center receives five-year NSF renewal
NSF renewed funding for the UW-led IMOD center, with $22 million expected over five years. The center brings together 14 universities to develop optoelectronic materials and semiconductor technologies.
UW NewsUW opens permanent GIX location on Microsoft campus
UW opened its first full-time location on Microsoft’s Redmond campus as the permanent home of Global Innovation Exchange. Microsoft provided a $42 million in-kind contribution and a rent-free lease for the 48,500-square-foot site.
UW News