Buchumschlag

Generative Explanations for Program Synthesizers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nazari, Amirmohammad, Chattopadhyay, Souti, Swayamdipta, Swabha, Raghothaman, Mukund
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Generating Complex Code Analyzers from Natural Language Questions
von: Nazari, Amirmohammad, et al.
Veröffentlicht: (2026)

ELI-Why: Evaluating the Pedagogical Utility of Language Model Explanations
von: Joshi, Brihi, et al.
Veröffentlicht: (2025)

Data-Driven Template-Free Invariant Generation
von: Xia, Yuan, et al.
Veröffentlicht: (2023)

Annotating FrameNet via Structure-Conditioned Language Generation
von: Cui, Xinyue, et al.
Veröffentlicht: (2024)

Provenance Guided Rollback Suggestions
von: Zhao, David, et al.
Veröffentlicht: (2025)

Membership Testing for Semantic Regular Expressions
von: Huang, Yifei, et al.
Veröffentlicht: (2024)

Compare without Despair: Reliable Preference Evaluation with Generation Separability
von: Ghosh, Sayan, et al.
Veröffentlicht: (2024)

Sample, Align, Synthesize: Graph-Based Response Synthesis with ConGrs
von: Ghosh, Sayan, et al.
Veröffentlicht: (2025)

Understanding Dataset Difficulty with $\mathcal{V}$-Usable Information
von: Ethayarajh, Kawin, et al.
Veröffentlicht: (2021)

How Reliable is Language Model Micro-Benchmarking?
von: Yauney, Gregory, et al.
Veröffentlicht: (2025)

Believing without Seeing: Quality Scores for Contextualizing Vision-Language Model Explanations
von: He, Keyu, et al.
Veröffentlicht: (2025)

Crowd-Calibrator: Can Annotator Disagreement Inform Calibration in Subjective Tasks?
von: Khurana, Urja, et al.
Veröffentlicht: (2024)

Evaluation Under Imperfect Benchmarks and Ratings: A Case Study in Text Simplification
von: Liu, Joseph, et al.
Veröffentlicht: (2025)

Logits of API-Protected LLMs Leak Proprietary Information
von: Finlayson, Matthew, et al.
Veröffentlicht: (2024)

Teaching Models to Understand (but not Generate) High-risk Data
von: Wang, Ryan, et al.
Veröffentlicht: (2025)

Disentangling Geometry, Performance, and Training in Language Models
von: Kulkarni, Atharva, et al.
Veröffentlicht: (2026)

BenchBrowser: Retrieving Evidence for Evaluating Benchmark Validity
von: Diddee, Harshita, et al.
Veröffentlicht: (2026)

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

Generating Pragmatic Examples to Train Neural Program Synthesizers
von: Vaduguru, Saujas, et al.
Veröffentlicht: (2023)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Improving Language Model Personas via Rationalization with Psychological Scaffolds
von: Joshi, Brihi, et al.
Veröffentlicht: (2025)

Better Language Model Inversion by Compactly Representing Next-Token Distributions
von: Nazir, Murtaza, et al.
Veröffentlicht: (2025)

Robust Data Watermarking in Language Models by Injecting Fictitious Knowledge
von: Cui, Xinyue, et al.
Veröffentlicht: (2025)

NeuroComparatives: Neuro-Symbolic Distillation of Comparative Knowledge
von: Howard, Phillip, et al.
Veröffentlicht: (2023)

Synthesizing Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2023)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
von: Wu, Hao, et al.
Veröffentlicht: (2023)

Generating Contextually-Relevant Navigation Instructions for Blind and Low Vision People
von: Merchant, Zain, et al.
Veröffentlicht: (2024)

Synthesizing JSON Schema Transformers
von: Stanek, Jack, et al.
Veröffentlicht: (2024)

LOUD: Synthesizing Strongest and Weakest Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2024)

Synthesizing Trajectory Queries from Examples
von: Mell, Stephen, et al.
Veröffentlicht: (2026)

Synthesizing Backward Error Bounds, Backward
von: Zielinski, Laura, et al.
Veröffentlicht: (2026)

Synthesizing Abstract Transformers for Reduced-Product Domains
von: Kalita, Pankaj Kumar, et al.
Veröffentlicht: (2024)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
von: Liu, Zhengyang, et al.
Veröffentlicht: (2023)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
von: Zenkner, Janis, et al.
Veröffentlicht: (2025)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
von: Peng, Xuanyu, et al.
Veröffentlicht: (2025)

Polynomial Invariant Generation for Floating-Point Programs
von: Cai, Xuran, et al.
Veröffentlicht: (2025)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
von: He, Yang, et al.
Veröffentlicht: (2025)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
von: Liu, Chang, et al.
Veröffentlicht: (2023)