Speaker
Sean Simms
Founder & CEO, Manazo Labs (HarmonicQ Inc.) — Halifax, Nova Scotia
Most AI research is tested by running experiments and comparing results on standard tests. But what happens if you check a published AI method using strict, formal math instead of just experiments? This talk walks through a real example: we used the Lean 4 proof system to mathematically verify Google Research’s TurboQuant method. The full proof includes 8 files and 58 machine‑checked results, with no gaps or assumptions. While doing this, we also fixed three issues in the original paper: we improved one of the constants by 43%, we put a clear limit on an assumption that was previously left open‑ended, and we proved that one of the design choices in the method is actually the best possible. The talk ends with a live demo showing how these verified results can be used in real AI systems.
Dec
3
Thu
Entrepreneurial Edge:A Complete Guide to Starting a Business in Nova Scotia
Becoming an entrepreneur can be daunting. Do you have what it takes? Where do you start? Join us to find out! Are you an aspiring entrepreneur looking to kick-start your business idea? If you’re not…
Learn more
Oct
20
Tue
Oct
22
Thu
GEO Forum 2026 Digital Inclusion: The Super Social Determinant of Health
Join us Tuesday, October 20 through Thursday, October 22 for GEO Forum 2026 — a free, virtual event hosted by GEO Nova Scotia that will bring government, community, and business together to explore t…
Learn more
Oct
10
Sat
Oct
13
Tue
International Conference on Multi-disciplinary Trends in AI (MIWAI) 2026
Organized by the MIWAI Society and the MSc in Computing and Data Analytics (MCDA) Program at Saint Mary’s University. MIWAI — International Conference on Multi-disciplinary Trends in Artificial Intel…
Learn more
Sep
29
Tue
Sep
30
Wed
DevOps Days Halifax 2026
DevOpsDays Halifax 2026 is a day dedicated to learning, collaboration, and community for tech practitioners across Atlantic Canada and beyond. Building on the momentum of previous years, we are bring…
Learn more