Mailing List
To receive announcements and reminders, join our mailing list.
Mailing list signup coming soon. Contact Joe Stubbs to be added to the seminar announcements list at launch.
CRAFT Lab Seminar Series
Upcoming and Archived Seminars
The CRAFT Lab Seminar Series brings together researchers working across the areas of Formal Methods, Automated Reasoning, Artificial Intelligence, and theoretical Mathematics. Talks are held monthly on Thursdays at 3:00 PM CT and are open to all.
Upcoming Talks
September 5, 2026 | 12:00 PM | POB 6.304, UT Austin
Sequencelib: A Platform for Formalizing the OEIS
Joe Stubbs and Walter Moreira, UT Austin
The On-Line Encyclopedia of Integer Sequences (OEIS) is a web-accessible database cataloging interesting integer sequences and associated theorems. With more than 390,000 sequences and 12,000 citations, the OEIS is one of the most robust and highly cited resources in all of theoretical mathematics. The Sequencelib project provides an open-source computational platform to formalize the mathematics contained within the OEIS using the Lean programming language. With contributions made through a combination of hand-written formalizations, metaprogramming, and AI, Sequencelib currently contains formalizations for more than 25,000 sequences and over 1.6 million theorems about their values.
Abstract
The On-Line Encyclopedia of Integer Sequences (OEIS) is a web-accessible database cataloging interesting integer sequences and associated theorems. With more than 390,000 sequences and 12,000 citations, the OEIS is one of the most robust and highly cited resources in all of theoretical mathematics. The project provides an open-source computational platform to formalize the mathematics contained within the OEIS using the Lean programming language. With contributions made through a combination of hand-written formalizations, metaprogramming, and AI, Sequencelib currently contains formalizations for more than 25,000 sequences and over 1.6 million theorems about their values.
Past Talks
No past talks yet — our seminar series is just getting started!