EGRAPHS Community

EGRAPHS 2025 will take place at PLDI 2025 in Seoul!

C.C. Lemma: induction and lemma discovery in e-graphs

2025-02-20

Talk begins at 9am PT on Zoom. The Zoom link will be distributed on the EGRAPHS Zulip just in time for each session.

Cole will present his ICFP 2024 work, C.C. Lemma: induction and lemma discovery in e-graphs.

Abstract

TBD

Speaker

Cole Kurashige