Copertina

A Distribution Semantics for Probabilistic Term Rewriting

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Vidal, Germán
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

A Reversible Semantics for Janus
di: Lanese, Ivan, et al.
Pubblicazione: (2026)

Probabilistic Programs of Thought
di: Garg, Poorva, et al.
Pubblicazione: (2026)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
di: Gao, Yifei, et al.
Pubblicazione: (2025)

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

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
di: Wong, Lionel, et al.
Pubblicazione: (2025)

CSSG: Measuring Code Similarity with Semantic Graphs
di: Lu, Yiyang, et al.
Pubblicazione: (2026)

Probabilistic Programming with Programmable Variational Inference
di: Becker, McCoy R., et al.
Pubblicazione: (2024)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
di: Zhang, Yansen, et al.
Pubblicazione: (2025)

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

Joint Distributions in Probabilistic Semantics
di: Kozen, Dexter, et al.
Pubblicazione: (2023)

Searching for Programmatic Policies in Semantic Spaces
di: Moraes, Rubens O., et al.
Pubblicazione: (2024)

LLMs Lean on Priors, Not Programming Language Semantics
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2025)

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

Program Semantic Inequivalence Game with Large Language Models
di: Miceli-Barone, Antonio Valerio, et al.
Pubblicazione: (2025)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
di: Le-Cong, Thanh, et al.
Pubblicazione: (2025)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
di: Zhang, Huan, et al.
Pubblicazione: (2026)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
di: Barone, Antonio Valerio Miceli, et al.
Pubblicazione: (2026)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
di: Saieva, Anthony, et al.
Pubblicazione: (2023)

LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
di: Hind, Michael, et al.
Pubblicazione: (2026)

QueryBandits for Hallucination Mitigation: Exploiting Semantic Features for No-Regret Rewriting
di: Cho, Nicole, et al.
Pubblicazione: (2025)

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

E3-Rewrite: Learning to Rewrite SQL for Executability, Equivalence,and Efficiency
di: Xu, Dongjie, et al.
Pubblicazione: (2025)

EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
di: van der Vleuten, Noah, et al.
Pubblicazione: (2025)

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

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

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
di: Bayazıt, Barış, et al.
Pubblicazione: (2025)

ZeroML: A Next Generation AutoML Language
di: Mahmud, Monirul Islam
Pubblicazione: (2025)

A Compute-Matched Re-Evaluation of TroVE on MATH
di: Sesterhenn, Tobias, et al.
Pubblicazione: (2025)

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

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

Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
di: Tomkins-Flanagan, Eilene, et al.
Pubblicazione: (2025)

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
di: Lin, Zhenru, et al.
Pubblicazione: (2024)

MHRC-Bench: A Multilingual Hardware Repository-Level Code Completion benchmark
di: Zou, Qingyun, et al.
Pubblicazione: (2026)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
di: Armengol-Estapé, Jordi, et al.
Pubblicazione: (2023)

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
di: Brady, Seamus
Pubblicazione: (2026)

JTON: A Token-Efficient JSON Superset with Zen Grid Tabular Encoding for Large Language Models
di: Nandakishore, Gowthamkumar
Pubblicazione: (2026)

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

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
di: Irugalbandara, Chandra
Pubblicazione: (2024)

FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation
di: Pham, Loc, et al.
Pubblicazione: (2026)