Image de couverture de livre

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kobaladze, Zurabi, Arnania, Anna, Sanikidze, Tamar
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages I.2.6; F.1.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Compatibility of Generative AI and Generative Linguistics
par: Portelance, Eva, et autres
Publié: (2024)

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming
par: Flach, João, et autres
Publié: (2023)

Emergence of Quantised Representations Isolated to Anisotropic Functions
par: Bird, George
Publié: (2025)

The Affine Divergence: Aligning Activation Updates Beyond Normalisation
par: Bird, George
Publié: (2025)

The Inclusion Depth of Pattern Languages: An Open Problem in Algorithmic Learning Theory
par: Luo, Wei
Publié: (2026)

Linear-Readout Floors and Threshold Recovery in Computation in Superposition
par: Borobia, Hector, et autres
Publié: (2026)

Multidimensional Adaptive Coefficient for Inference Trajectory Optimization in Flow and Diffusion
par: Lee, Dohoon, et autres
Publié: (2024)

Prompting Neural-Guided Equation Discovery Based on Residuals
par: Brugger, Jannis, et autres
Publié: (2025)

Generating and Explaining Corner Cases Using Learnt Probabilistic Lane Graphs
par: Maci, Enrik, et autres
Publié: (2023)

LFC-DA: Logical Formula-Controlled Data Augmentation for Enhanced Logical Reasoning
par: Li, Shenghao
Publié: (2025)

Rewarding Beliefs, Not Actions: Consistency-Guided Credit Assignment for Long-Horizon Agents
par: Tang, Wenjie, et autres
Publié: (2026)

Does Editing Provide Evidence for Localization?
par: Wang, Zihao, et autres
Publié: (2025)

Tricks and Plug-ins for Gradient Boosting with Transformers
par: Fang, Biyi, et autres
Publié: (2025)

Hybrid Quantum-Classical Mixture of Experts: Unlocking Topological Advantage via Interference-Based Routing
par: Heddad, Reda, et autres
Publié: (2025)

Maximum Mean Discrepancy on Exponential Windows for Online Change Detection
par: Kalinke, Florian, et autres
Publié: (2022)

Theoretical Analysis of Positional Encodings in Transformer Models: Impact on Expressiveness and Generalization
par: Li, Yin
Publié: (2025)

Information-Theoretic Quality Metric of Low-Dimensional Embeddings
par: Gutiérrez-Bernal, Sebastián, et autres
Publié: (2025)

Neural-Guided Equation Discovery
par: Brugger, Jannis, et autres
Publié: (2025)

NeurOptimisation: The Spiking Way to Evolve
par: Cruz-Duarte, Jorge Mario, et autres
Publié: (2025)

One Policy, Infinite NPCs: Persona-Traceable Shared RL Policies for Scalable Game Agents
par: Hong, Yoosung
Publié: (2026)

NormCode Canvas: Making LLM Agentic Workflows Development Sustainable via Case-Based Reasoning
par: Guan, Xin, et autres
Publié: (2026)

The Stochastic Gap: A Markovian Framework for Pre-Deployment Reliability and Oversight-Cost Auditing in Agentic Artificial Intelligence
par: Pal, Biplab, et autres
Publié: (2026)

Decoding Rewards in Competitive Games: Inverse Game Theory with Entropy Regularization
par: Liao, Junyi, et autres
Publié: (2026)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
par: Leonhart, Emma
Publié: (2026)

Multi-Agent Collaborative Framework For Math Problem Generation
par: Karbasi, Kia, et autres
Publié: (2025)

When Can Human-AI Teams Outperform Individuals? Tight Bounds with Impossibility Guarantees
par: Guo, Dongxin, et autres
Publié: (2026)

4OPS: Structural Difficulty Modeling in Integer Arithmetic Puzzles
par: Zeytuncu, Yunus E.
Publié: (2026)

Improving Consistency in Large Language Models through Chain of Guidance
par: Raj, Harsh, et autres
Publié: (2025)

Entropy-Reservoir Bregman Projection: An Information-Geometric Unification of Model Collapse
par: Chen, Jingwei
Publié: (2025)

Actor-Curator: Co-adaptive Curriculum Learning via Policy-Improvement Bandits for RL Post-Training
par: Gu, Zhengyao, et autres
Publié: (2026)

PilotBench: A Benchmark for General Aviation Agents with Safety Constraints
par: Wu, Yalun, et autres
Publié: (2026)

Understanding the Nature of Generative AI as Threshold Logic in High-Dimensional Space
par: Levin, Ilya
Publié: (2026)

Kolmogorov Arnold Networks and Multi-Layer Perceptrons: A Paradigm Shift in Neural Modelling
par: Gaonkar, Aradhya, et autres
Publié: (2026)

N-Agent Ad Hoc Teamwork
par: Wang, Caroline, et autres
Publié: (2024)

Interpretation, Learning, and Empathy as One Constraint: A Residual-Adequacy Architecture with Accountable Abstention
par: Amornbunchornvej, Chainarong
Publié: (2026)

Accelerated Multi-objective Task Learning using Modified Q-learning Algorithm
par: Rajamohan, Varun Prakash, et autres
Publié: (2024)

LLM-Rubric: A Multidimensional, Calibrated Approach to Automated Evaluation of Natural Language Texts
par: Hashemi, Helia, et autres
Publié: (2024)

Enhancing Adversarial Robustness of IoT Intrusion Detection via SHAP-Based Attribution Fingerprinting
par: Sharma, Dilli Prasad, et autres
Publié: (2025)

LLM-Driven Large-Scale Spectrum Access
par: Yang, Ning, et autres
Publié: (2026)

STACHE: Local Black-Box Explanations for Reinforcement Learning Policies
par: Elashkin, Andrew, et autres
Publié: (2025)