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

Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025
Online Prompt Selection for Program Synthesis AAAI 2025
VERSE: Verification-based Self-Play for Code Instructions AAAI 2025
Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment ACL 2025
ViUniT: Visual Unit Tests for More Robust Visual Programming CVPR 2025
Formalizing Test-Time Compute for Function-Level Code Generation IJCNLP 2025
Relational Decomposition for Program Synthesis IJCAI 2025
Planning-Driven Programming: A Large Language Model Programming Workflow ACL 2025
LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025
Troopers at BLP-2025 Task 2: Reward-Selective Fine-Tuning based Code Generation Approach for Bangla Prompts AACL 2025
Logic-Q: Improving Deep Reinforcement Learning-based Quantitative Trading via Program Sketch-based Tuning AAAI 2025
BizBench: A Quantitative Reasoning Benchmark for Business and Finance ACL 2024
Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Search NIPS 2024
MapCoder: Multi-Agent Code Generation for Competitive Problem Solving ACL 2024
The Program Testing Ability of Large Language Models for Code EMNLP 2024
Bring Your Own KG: Self-Supervised Program Synthesis for Zero-Shot KGQA NAACL 2024
Generalized Planning for the Abstraction and Reasoning Corpus AAAI 2024
Learning Logic Programs by Discovering Higher-Order Abstractions IJCAI 2024
Generalized Planning in PDDL Domains with Pretrained Large Language Models AAAI 2024
Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint) AAAI 2024
PythonSaga: Redefining the Benchmark to Evaluate Code Generating LLMs EMNLP 2024
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis AAAI 2024
VLM Agents Generate Their Own Memories: Distilling Experience into Embodied Programs of Thought NIPS 2024
Can LLMs Reason in the Wild with Programs? EMNLP 2024
Learning MDL Logic Programs from Noisy Data AAAI 2024