conftrace_

program synthesis

233 papers

Explore in graph

Also known as

PS

Co-occurring keywords

code generation (746) large language model (13587) semantic parsing (960) neural network (6616) reinforcement learning (4352) inductive logic programming (64) few-shot learning (3398) domain-specific language (29) automated reasoning (122) formal verification (284)

Papers

Learning MDL Logic Programs from Noisy Data AAAI 2024
DeTikZify: Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ NIPS 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring NSDI 2024
Learning to Reason via Program Generation, Emulation, and Search NIPS 2024
Verified Code Transpilation with LLMs NIPS 2024
PropTest: Automatic Property Testing for Improved Visual Programming EMNLP 2024
Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint) AAAI 2024
Searching for Programmatic Policies in Semantic Spaces IJCAI 2024
Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024
BizBench: A Quantitative Reasoning Benchmark for Business and Finance ACL 2024
The Program Testing Ability of Large Language Models for Code EMNLP 2024
Can LLMs Reason in the Wild with Programs? EMNLP 2024
Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation NIPS 2024
PythonSaga: Redefining the Benchmark to Evaluate Code Generating LLMs EMNLP 2024
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff NIPS 2024
CodeFusion: A Pre-trained Diffusion Model for Code Generation EMNLP 2023
PAL: Program-aided Language Models ICML 2023
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers NIPS 2023
SORTIE: Dependency-Aware Symbolic Reasoning for Logical Data-to-text Generation ACL 2023
Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programs ICML 2023
Question Answering as Programming for Solving Time-Sensitive Questions EMNLP 2023
Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion AAAI 2023
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation NIPS 2023
NS3D: Neuro-Symbolic Grounding of 3D Objects and Relations CVPR 2023
Large Language Models of Code Fail at Completing Code with Potential Bugs NIPS 2023