:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Nazari, Amirmohammad, Chattopadhyay, Souti, Swayamdipta, Swabha, Raghothaman, Mukund
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2403.03429
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Generating Complex Code Analyzers from Natural Language Questions
di: Nazari, Amirmohammad, et al.
Pubblicazione: (2026)

ELI-Why: Evaluating the Pedagogical Utility of Language Model Explanations
di: Joshi, Brihi, et al.
Pubblicazione: (2025)

Data-Driven Template-Free Invariant Generation
di: Xia, Yuan, et al.
Pubblicazione: (2023)

Annotating FrameNet via Structure-Conditioned Language Generation
di: Cui, Xinyue, et al.
Pubblicazione: (2024)

Provenance Guided Rollback Suggestions
di: Zhao, David, et al.
Pubblicazione: (2025)

Membership Testing for Semantic Regular Expressions
di: Huang, Yifei, et al.
Pubblicazione: (2024)

Compare without Despair: Reliable Preference Evaluation with Generation Separability
di: Ghosh, Sayan, et al.
Pubblicazione: (2024)

Sample, Align, Synthesize: Graph-Based Response Synthesis with ConGrs
di: Ghosh, Sayan, et al.
Pubblicazione: (2025)

Understanding Dataset Difficulty with $\mathcal{V}$-Usable Information
di: Ethayarajh, Kawin, et al.
Pubblicazione: (2021)

How Reliable is Language Model Micro-Benchmarking?
di: Yauney, Gregory, et al.
Pubblicazione: (2025)

Believing without Seeing: Quality Scores for Contextualizing Vision-Language Model Explanations
di: He, Keyu, et al.
Pubblicazione: (2025)

Logits of API-Protected LLMs Leak Proprietary Information
di: Finlayson, Matthew, et al.
Pubblicazione: (2024)

Crowd-Calibrator: Can Annotator Disagreement Inform Calibration in Subjective Tasks?
di: Khurana, Urja, et al.
Pubblicazione: (2024)

Evaluation Under Imperfect Benchmarks and Ratings: A Case Study in Text Simplification
di: Liu, Joseph, et al.
Pubblicazione: (2025)

Teaching Models to Understand (but not Generate) High-risk Data
di: Wang, Ryan, et al.
Pubblicazione: (2025)

BenchBrowser: Retrieving Evidence for Evaluating Benchmark Validity
di: Diddee, Harshita, et al.
Pubblicazione: (2026)

Disentangling Geometry, Performance, and Training in Language Models
di: Kulkarni, Atharva, et al.
Pubblicazione: (2026)

Improving Language Model Personas via Rationalization with Psychological Scaffolds
di: Joshi, Brihi, et al.
Pubblicazione: (2025)

Better Language Model Inversion by Compactly Representing Next-Token Distributions
di: Nazir, Murtaza, et al.
Pubblicazione: (2025)

Robust Data Watermarking in Language Models by Injecting Fictitious Knowledge
di: Cui, Xinyue, et al.
Pubblicazione: (2025)

NeuroComparatives: Neuro-Symbolic Distillation of Comparative Knowledge
di: Howard, Phillip, et al.
Pubblicazione: (2023)

Generating Contextually-Relevant Navigation Instructions for Blind and Low Vision People
di: Merchant, Zain, et al.
Pubblicazione: (2024)

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

Towards Automated Verification of LLM-Synthesized C Programs
di: Mukherjee, Prasita, et al.
Pubblicazione: (2024)

Explaining Explanations in Probabilistic Logic Programming
di: Vidal, Germán
Pubblicazione: (2024)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
di: Wu, Hao, et al.
Pubblicazione: (2023)

ChEmREF: Evaluating Language Model Readiness for Chemical Emergency Response
di: Surana, Risha, et al.
Pubblicazione: (2025)

Every Language Model Has a Forgery-Resistant Signature
di: Finlayson, Matthew, et al.
Pubblicazione: (2025)

Synthesizing Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2023)

"Like Taking the Path of Least Resistance": Exploring the Impact of LLM Interaction on the Creative Process of Programming
di: Saghi, Zeinabsadat, et al.
Pubblicazione: (2026)

Synthesizing JSON Schema Transformers
di: Stanek, Jack, et al.
Pubblicazione: (2024)

A Tale of Two Communities: Exploring Academic References on Stack Overflow
di: Huang, Run, et al.
Pubblicazione: (2024)

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

LOUD: Synthesizing Strongest and Weakest Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2024)

Synthesizing Trajectory Queries from Examples
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Synthesizing Backward Error Bounds, Backward
di: Zielinski, Laura, et al.
Pubblicazione: (2026)

Synthesizing DSLs for Few-Shot Learning
di: Krogmeier, Paul, et al.
Pubblicazione: (2025)

Synthesizing Abstract Transformers for Reduced-Product Domains
di: Kalita, Pankaj Kumar, et al.
Pubblicazione: (2024)

Synthesizing Formal Semantics from Executable Interpreters
di: Liu, Jiangyi, et al.
Pubblicazione: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
di: Liu, Zhengyang, et al.
Pubblicazione: (2023)