Cover Image

Likelihood hacking in probabilistic program synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Karwowski, Jacek, Kaddar, Younesse, Ye, Zihuiwen, Malkin, Nikolay, Staton, Sam
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
by: Kaddar, Younesse, et al.
Published: (2023)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
by: Ackerman, Nathanael L., et al.
Published: (2023)

Uncertainty-Aware Step-wise Verification with Generative Reward Models
by: Ye, Zihuiwen, et al.
Published: (2025)

Amortizing intractable inference in large language models
by: Hu, Edward J., et al.
Published: (2023)

A benchmark for vericoding: formally verified program synthesis
by: Bursuc, Sergiu, et al.
Published: (2025)

Can a Bayesian Oracle Prevent Harm from an Agent?
by: Bengio, Yoshua, et al.
Published: (2024)

Incoherence in Goal-Conditioned Autoregressive Models
by: Karwowski, Jacek, et al.
Published: (2025)

Hilbert geometry of the symmetric positive-definite bicone: Application to the geometry of the extended Gaussian family
by: Karwowski, Jacek, et al.
Published: (2025)

Geometric structures and deviations on James' symmetric positive-definite matrix bicone domain
by: Karwowski, Jacek, et al.
Published: (2026)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
by: Kammar, Ohad, et al.
Published: (2026)

Learning Minimal Neural Specifications
by: Geng, Chuqin, et al.
Published: (2024)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
by: Fiore, Marcelo P., et al.
Published: (2025)

Compositional imprecise probability
by: Liell-Cock, Jack, et al.
Published: (2024)

Towards representation agnostic probabilistic programming
by: Fenske, Ole, et al.
Published: (2025)

Mixtures of In-Context Learners
by: Hong, Giwon, et al.
Published: (2024)

Qadence: a differentiable interface for digital-analog programs
by: Seitz, Dominik, et al.
Published: (2024)

Data-to-Energy Stochastic Dynamics
by: Tamogashev, Kirill, et al.
Published: (2025)

V-STaR: Training Verifiers for Self-Taught Reasoners
by: Hosseini, Arian, et al.
Published: (2024)

Amplifying human performance in combinatorial competitive programming
by: Veličković, Petar, et al.
Published: (2024)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
by: Goldstein, Oliver, et al.
Published: (2024)

Transformers for Program Termination
by: Alon, Yoav, et al.
Published: (2026)

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
by: Bondhugula, Uday, et al.
Published: (2026)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
by: Qin, Zhanyue, et al.
Published: (2026)

Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon
by: Veit, Cooper
Published: (2026)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
by: Zhao, Yifan, et al.
Published: (2026)

AnCoder: Anchored Code Generation via Discrete Diffusion Models
by: Xue, Anton, et al.
Published: (2026)

EAGLE-Pangu: Accelerator-Safe Tree Speculative Decoding on Ascend NPUs
by: Han, Chang, et al.
Published: (2026)

A Deep Learning Model for Predicting Transformation Legality
by: Tiwari, Avani, et al.
Published: (2025)

Rulebook: bringing co-routines to reinforcement learning environments
by: Fioravanti, Massimo, et al.
Published: (2025)

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
by: Tobler, James, et al.
Published: (2025)

Small Language Models as Compiler Experts: Auto-Parallelization for Heterogeneous Systems
by: Devadiga, Prathamesh
Published: (2025)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
by: Boruch-Gruszecki, Aleksander, et al.
Published: (2025)

Yggdrasil: Bridging Dynamic Speculation and Static Runtime for Latency-Optimal Tree-Based LLM Decoding
by: Guan, Yue, et al.
Published: (2025)

NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions
by: Sharpe, Peter
Published: (2025)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
by: Fukuda, Kota, et al.
Published: (2025)

Type-Constrained Code Generation with Language Models
by: Mündler, Niels, et al.
Published: (2025)

Compiling to recurrent neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis
by: Li, Zeju, et al.
Published: (2025)