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

39 citations · 71 across the 6 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

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…