Workshop / Cambridge, United States
✓ Verified eventLMFDB Workshop
Workshop on scalable theorem proving via mathematical databases, including Lean formalization and collaborative work on proving the correctness of LMFDB data. The project is funded by the AI for Math Fund.
Topics
- AI for mathematics
- Artificial intelligence
- Automated theorem proving
- Formal methods
Details may change. Confirm the programme, availability and registration with the organizer.
Visit the official event site ↗- Dates
- 25 January 2027 – 29 January 2027
- Duration
- 5 days
- Starts
- In 110 days
- Place
- Cambridge, United States
- Venue
- MIT campus
- Format
- In person
- Language
- English
- Organizer
- David Roe and Andrew Sutherland, MIT
- Last verified