works on
agentic AI 1hardware verification 1interactive theorem proving 1lean 4 1parameterized designs 1proof reuse 1

From the 1 of 9 linked papers with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving

Jiaqi Yin, Zhan Song, Chen Chen +3

E-graphs have attracted growing interest in many fields, particularly in logic synthesis and formal verification. E-graph extraction is a challenging NP-hard combinatorial optimiza…