Program Synthesis for Geometric Modeling

Here is a link to the publication.

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

Abstract : Implementing geometric modeling operations in a programming language can be inherently challenging despite their seemingly simple input-to-output descriptions. We propose a program synthesis method to generate executable code from representative examples. We focus on geometric computations in topology-based modeling, where nD objects are decomposed into cells with added geometric information. This domain uses combinatorial structures represented as graphs, with operations formalized as graph transformation rules and geometric modifications given by code-like annotations on the rule’s graph nodes.