ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications

20 October 2022

Papers citing "ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications"

1 / 1 papers shown

Title
ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifiers Kexun Zhang Danqing Wang Jingtao Xia William Yang Wang Lei Li 23 39 0 24 May 2023