Skip to content

Charleston Lean Proof Assistant Meetup

Photo of Heow Goodman
Hosted By
Heow G.
Charleston Lean Proof Assistant Meetup

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/

Photo of Functional SC group
Functional SC
See more events
CDC Learning Center
4 Conroy St Ste A · Charleston, SC