20 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 1 cited
Colored E-Graph: Equality Reasoning with Conditions
Eytan Singher, Shachar Itzhaky
E-graphs are a prominent data structure that has been increasing in popularity in recent years due to their expanding range of applications in various formal reasoning tasks. Often…
cs.PL2020★ 20 cited
Theory Exploration Powered By Deductive Synthesis
Eytan Singher, Shachar Itzhaky
Recent years have seen tremendous growth in the amount of verified software. Proofs for complex properties can now be achieved using higher-order theories and calculi. Complex prop…