PropR icon indicating copy to clipboard operation
PropR copied to clipboard
verified publisher icon Tritlo

Integrate spectacular synthesis

Open Tritlo opened this issue 1 year ago • 0 comments

We are currently using very naive hole-based synthesis. We could integrate the ECTA-based synthesis of expressions for typed-holes as used in the Spectacular paper.

Tritlo avatar Apr 18 '24 19:04 Tritlo