activity
20172026
most citedbabble: Learning Better Abstractions with E-Graphs and Anti-Unification

39 citations · 88 across the 11 of their papers we have counts for

collaborators
Showing 2019 · cs.PLShow all

1 paper · 2 filters

cs.PL2019

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

Chandrakana Nandi, Max Willsey, Adam Anderson +4

Recent program synthesis techniques help users customize CAD models(e.g., for 3D printing) by decompiling low-level triangle meshes to Constructive Solid Geometry (CSG) expressions…