Imagen de Portada

Relational Programming with Foundation Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Ziyang, Huang, Jiani, Liu, Jason, Zhu, Felix, Zhao, Eric, Dodds, William, Velingker, Neelay, Alur, Rajeev, Naik, Mayur
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Once Upon an Input: Reasoning via Per-Instance Program Synthesis
por: Stein, Adam, et al.
Publicado: (2025)

Do We Need Frontier Models to Verify Mathematical Proofs?
por: Naik, Aaditya, et al.
Publicado: (2026)

Data-Efficient Learning with Neural Programs
por: Solko-Breslin, Alaia, et al.
Publicado: (2024)

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
por: Biberstein, Paul, et al.
Publicado: (2025)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
por: Khare, Avishree, et al.
Publicado: (2023)

The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models
por: Stein, Adam, et al.
Publicado: (2025)

ESCA: Contextualizing Embodied Agents via Scene-Graph Generation
por: Huang, Jiani, et al.
Publicado: (2025)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
por: Laurent, Jonathan, et al.
Publicado: (2025)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
por: Liang, Eric
Publicado: (2026)

Modelling Program Spaces in Program Synthesis with Constraints
por: Hinnerichs, Tilman, et al.
Publicado: (2025)

Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
por: Xue, Anton, et al.
Publicado: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
por: Li, Ziyang, et al.
Publicado: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
por: Zheng, Lianmin, et al.
Publicado: (2023)

Detecting Safety Violations Across Many Agent Traces
por: Stein, Adam, et al.
Publicado: (2026)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
por: Cummins, Chris, et al.
Publicado: (2024)

Program Structure Aware Precondition Generation
por: Dinella, Elizabeth, et al.
Publicado: (2023)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
por: Rustenholz, Louis, et al.
Publicado: (2024)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
por: Dantanarayana, Jayanaka L., et al.
Publicado: (2024)

Can Language Models Solve Olympiad Programming?
por: Shi, Quan, et al.
Publicado: (2024)

LACUNA: Safe Agents as Recursive Program Holes
por: Zhao, Yaoyu, et al.
Publicado: (2026)

BODHI: Precise OS Kernel Specification Inference
por: Chang, Zhiming, et al.
Publicado: (2026)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
por: Huang, Zhechong, et al.
Publicado: (2025)

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
por: Lang, Nguyet-Anh H., et al.
Publicado: (2026)

Probabilistic Programs of Thought
por: Garg, Poorva, et al.
Publicado: (2026)

Emergent Representations of Program Semantics in Language Models Trained on Programs
por: Jin, Charles, et al.
Publicado: (2023)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
por: Wang, Claire, et al.
Publicado: (2025)

Explaining Explanations in Probabilistic Logic Programming
por: Vidal, Germán
Publicado: (2024)

Sharing State Between Prompts and Programs
por: Cheng, Ellie Y., et al.
Publicado: (2025)

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

PDL: A Declarative Prompt Programming Language
por: Vaziri, Mandana, et al.
Publicado: (2024)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
por: Chen, Simin, et al.
Publicado: (2024)

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
por: Gao, Wei, et al.
Publicado: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
por: Dong, Honghua, et al.
Publicado: (2024)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
por: Liu, Ruibang, et al.
Publicado: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
por: Rossi, Roberto, et al.
Publicado: (2026)

Data Petri Nets meet Probabilistic Programming (Extended version)
por: Kuhn, Martin, et al.
Publicado: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
por: Barke, Shraddha, et al.
Publicado: (2024)

The generalised distribution semantics and projective families of distributions
por: Weitkämper, Felix
Publicado: (2022)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
por: Sultan, Oren, et al.
Publicado: (2026)