conftrace_

function synthesis

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

spoken utterance understanding (1) boolean function synthesis (1) spoken utterance (1) method synthesis (1) api mapping (1) skolem function (1) boolean formula (1) large language model (1) approximate algorithm (1) natural language programming (1)

Papers

CodeIF: Benchmarking the Instruction-Following Capabilities of Large Language Models for Code Generation ACL 2025 An Approximate Skolem Function Counter AAAI 2024 Programming in Natural Language with fuSE: Synthesizing Methods from Spoken Utterances Using Deep Natural Language Understanding ACL 2020