The PIMS Workshop on Lean with LLM Integration
Topic
Automated Mathematics using Lean with LLM tools
Speakers
Details
PIMS invites faculty members from across the PIMS network to apply to participate in an intensive three-day, in-person workshop on Lean with LLM integration, led by Professor Eric Klavins (University of Washington) whose recent UW course on Automated Mathematics has drawn wide interest.
About the Workshop
The workshop is aimed at faculty who want to use Lean (with LLM tools) in their own research and who may go on to teach a similar course at their home institution or serve in mentorship roles at their own site or in future PIMS programs. The format is hands-on: short lectures alternating with guided coding sessions in small groups, with optional evening exercises. No prior Lean experience is required. Participants should bring a reasonably capable laptop and be prepared to install software in advance (instructions will be provided).
Additional Information
Application Requirements
Faculty members at PIMS member sites are invited to apply by providing:
- Name, contact information, and PIMS site affiliation.
- Career stage (Assistant Professor, Associate Professor, or Full Professor).
- A checkbox selection identifying eligibility: why this workshop would be valuable to you and how you would bring what you learn back to your site (e.g., connections to your research program, teaching plans, running a seminar or reading group, mentoring students, or contributing to future PIMS programming).
Applicants should also indicate whether you would be interested in attending without PIMS funding (self-funded) if you are not selected for a funded spot.
Selection and funding
Deadline: July 31, 2026