Cover Image

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mora, Federico, Wong, Justin, Lepe, Haley, Bhatia, Sahil, Elmaaroufi, Karim, Varghese, George, Gonzalez, Joseph E., Polgreen, Elizabeth, Seshia, Sanjit A.
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

GRAID: Enhancing Spatial Reasoning of VLMs Through High-Fidelity Data Generation
by: Elmaaroufi, Karim, et al.
Published: (2025)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
by: Elmaaroufi, Karim, et al.
Published: (2024)

Verified Code Transpilation with LLMs
by: Bhatia, Sahil, et al.
Published: (2024)

Online Prompt Selection for Program Synthesis
by: Li, Yixuan, et al.
Published: (2025)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
by: Vazquez-Chanlatte, Marcell, et al.
Published: (2024)

Guiding Enumerative Program Synthesis with Large Language Models
by: Li, Yixuan, et al.
Published: (2024)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
by: Qiu, Jie, et al.
Published: (2024)

SimpleStrat: Diversifying Language Model Generation with Stratification
by: Wong, Justin, et al.
Published: (2024)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
by: Chen, Pei-Wei, et al.
Published: (2025)

Learning Formal Specifications from Membership and Preference Queries
by: Shah, Ameesh, et al.
Published: (2023)

optimize_anything: A Universal API for Optimizing any Text Parameter
by: Agrawal, Lakshya A, et al.
Published: (2026)

Learning Affordances at Inference-Time for Vision-Language-Action Models
by: Shah, Ameesh, et al.
Published: (2025)

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
by: Parsert, Julian, et al.
Published: (2023)

Querying Labeled Time Series Data with Scenario Programs
by: Kim, Edward, et al.
Published: (2025)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
by: Shetty, Manish, et al.
Published: (2024)

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
by: Godbole, Adwait, et al.
Published: (2024)

Investigating the Transferability of Code Repair for Low-Resource Programming Languages
by: Wong, Kyle, et al.
Published: (2024)

Interactive Program Synthesis for Modeling Collaborative Physical Activities from Narrated Demonstrations
by: Kim, Edward, et al.
Published: (2025)

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
by: Xie, Zichen, et al.
Published: (2026)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
by: Godbole, Adwait, et al.
Published: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2024)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2025)

LCPs of Subspace Codes
by: Bhowmick, Sanjit
Published: (2026)

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
by: Cassano, Federico, et al.
Published: (2023)

Sensitivity Analysis for Interval-valued Fully Fuzzy Linear Programming Problems
by: Neha Bhatia
Published: (2012)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
by: Joshi, Aniruddha, et al.
Published: (2025)

Learning Symbolic Task Decompositions for Multi-Agent Teams
by: Shah, Ameesh, et al.
Published: (2025)

Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators
by: Hong, Charles, et al.
Published: (2025)

FedOptima: Optimizing Resource Utilization in Federated Learning
by: Zhang, Zihan, et al.
Published: (2025)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
by: Murphy, William, et al.
Published: (2024)

Code Prompting Elicits Conditional Reasoning Abilities in Text+Code LLMs
by: Puerto, Haritz, et al.
Published: (2024)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2025)

Mosaic: Composite Projection Pruning for Resource-efficient LLMs
by: Eccles, Bailey J., et al.
Published: (2025)

Synthetic Function Demonstrations Improve Generation in Low-Resource Programming Languages
by: McKenna, Nick, et al.
Published: (2025)

Playing Psychic: Using Thought Trees to Predict Reasoning Models Accuracy on Coding Tasks
by: Fang, Jiaxin, et al.
Published: (2026)

Metric-Guided Synthesis of Class Activation Mapping
by: Luque-Cerpa, Alejandro, et al.
Published: (2025)

Funding Resources and Priorities for Cooperation: Toward a National Records Program.
by: Vogt, George L.
Published: (1986)

Context-Aided Variable Elimination for Requirement Engineering
by: Incer, Inigo, et al.
Published: (2023)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
by: Vin, Eric, et al.
Published: (2025)

Robust and Diverse Multi-Agent Learning via Rational Policy Gradient
by: Lauffer, Niklas, et al.
Published: (2025)