Charleston Lean Proof Assistant Meetup

Hosted By
Heow G.

Details
For our February meeting, we will explore how to leverage AI models in Lean4 development. Topics of interest include one-shot prompts, the creation of agentic loops, and fine-tuning models, as well as discussions on the latest advancements and their potential applications.
RSVP here https://www.charlestonlc.org/classes/charleston-lean-proof-assistant-meetup/

Functional SC
See more events
CDC Learning Center
4 Conroy St Ste A · Charleston, SC
Charleston Lean Proof Assistant Meetup