ML4FV and FV4ML

Machine learning for formal verification and formal verification for machine learning. Bringing leading practitioners and academics together to discuss ML to scale and automate formal methods will inspire new ideas and help clarify some of the bigger picture opportunities and applications

The beautiful Lighthaven campus

We welcome you to Lighthaven's campus, onsite accommodations available.

Make sure you register

Registration form here. Please await confirmation email

Sponsored by Near AI

Whether it's expertise, mindshare, adoption, developer experience, AI infrastructure, institutional support, funding, or the mission of supporting user-owned AI, NEAR Protocol is becoming the go-to choice for those building at the intersection of AI and Web3.

Sponsored by Beneficial AI Foundation

BAIF supports a broad range of technical AI safety research though staff research, university partnerships and its Buterin Fellowship program.