Copertina

Amortizing Pragmatic Program Synthesis with Rankings

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pu, Yewen, Vaduguru, Saujas, Vaithilingam, Priyan, Glassman, Elena, Fried, Daniel
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Programming Languages Artificial Intelligence I.2.2; D.3.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Amortizing Pragmatic Program Synthesis with Rankings
di: Pu, Yewen, et al.
Pubblicazione: (2024)

Generating Pragmatic Examples to Train Neural Program Synthesizers
di: Vaduguru, Saujas, et al.
Pubblicazione: (2023)

Imagining a Future of Designing with AI: Dynamic Grounding, Constructive Negotiation, and Sustainable Motivation
di: Vaithilingam, Priyan, et al.
Pubblicazione: (2024)

ACPO: AI-Enabled Compiler Framework
di: Ashouri, Amir H., et al.
Pubblicazione: (2023)

Semantic Commit: Helping Users Update Intent Specifications for AI Memory at Scale
di: Vaithilingam, Priyan, et al.
Pubblicazione: (2025)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
di: Ashouri, Amir H., et al.
Pubblicazione: (2026)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
di: Shirzad, Mohammad Robati, et al.
Pubblicazione: (2024)

Complexity as Design Material
di: Windhager, Florian, et al.
Pubblicazione: (2024)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

AI Coding Agents Need Better Compiler Remarks
di: Deo, Akash, et al.
Pubblicazione: (2026)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
di: McCann, Alan L.
Pubblicazione: (2026)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
di: Petrovic, Nenad, et al.
Pubblicazione: (2024)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
di: Lebioda, Krzysztof, et al.
Pubblicazione: (2024)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
di: Holt, Samuel, et al.
Pubblicazione: (2023)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
di: Vogel, Martin, et al.
Pubblicazione: (2026)

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
di: Pohle, Clemens
Pubblicazione: (2026)

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
di: Fakih, Mohamad, et al.
Pubblicazione: (2024)

Modular GPU Programming with Typed Perspectives
di: Bansal, Manya, et al.
Pubblicazione: (2025)

Let's Take Esoteric Programming Languages Seriously
di: Singer, Jeremy, et al.
Pubblicazione: (2025)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

Program Analysis via Multiple Context Free Language Reachability
di: Conrado, Giovanna Kobus, et al.
Pubblicazione: (2024)

A Prompt Learning Framework for Source Code Summarization
di: Xu, Tingting, et al.
Pubblicazione: (2023)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
di: McCann, Alan L.
Pubblicazione: (2026)

ChainForge: A Visual Toolkit for Prompt Engineering and LLM Hypothesis Testing
di: Arawjo, Ian, et al.
Pubblicazione: (2023)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
di: Mishra, Ashish, et al.
Pubblicazione: (2025)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
di: de Medeiros, Sérgio Queiroz, et al.
Pubblicazione: (2024)

Compressed code: the hidden effects of quantization and distillation on programming tokens
di: Siniaev, Viacheslav, et al.
Pubblicazione: (2026)

You Don't Need Public Tests to Generate Correct Code
di: Silva, Kaushitha, et al.
Pubblicazione: (2026)

The dynamics of belief: continuously monitoring and visualising complex systems
di: Beggs, Edwin J., et al.
Pubblicazione: (2022)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
di: McCann, Alan L.
Pubblicazione: (2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
di: McCann, Alan L.
Pubblicazione: (2026)

An Eye for an AI: Evaluating GPT-4o's Visual Perception Skills and Geometric Reasoning Skills Using Computer Graphics Questions
di: Feng, Tony Haoran, et al.
Pubblicazione: (2024)

Summa Summarum: Moessner's Theorem without Dynamic Programming
di: Danvy, Olivier
Pubblicazione: (2024)

GPT-4.1 Sets the Standard in Automated Experiment Design Using Novel Python Libraries
di: Fachada, Nuno, et al.
Pubblicazione: (2025)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
di: Yang, Ziyi, et al.
Pubblicazione: (2026)

Evaluating the Limitations of Local LLMs in Solving Complex Programming Challenges
di: Matotek, Kadin, et al.
Pubblicazione: (2025)

A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
di: Leoveanu-Condrei, Claudiu
Pubblicazione: (2025)

From Batch to Stream: Automatic Generation of Online Algorithms
di: Wang, Ziteng, et al.
Pubblicazione: (2024)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
di: Esmaeilsabzali, Shahram, et al.
Pubblicazione: (2025)