Copertina

Learning Program Behavioral Models from Synthesized Input-Output Pairs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mammadov, Tural, Klakow, Dietrich, Koller, Alexander, Zeller, Andreas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Machine Learning 68T07 (Primary), 68N30 (Secondary), 68Q42 D.2.5; D.2.7; I.2.6; F.1.1; F.4.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Inferring Input Grammars from Code with Symbolic Parsing
di: Bettscheider, Leon, et al.
Pubblicazione: (2025)

Language-Based Protocol Testing
di: Liggesmeyer, Alexander, et al.
Pubblicazione: (2025)

High-Performance Generation of Constrained Inputs
di: Crump, Addison, et al.
Pubblicazione: (2025)

Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

On Graph Grammars and Games
di: Vijayakumar, Jayakrishna, et al.
Pubblicazione: (2024)

Anti-Context-Free languages
di: Cardó, Carles
Pubblicazione: (2024)

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

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

Optimizing Large Language Models for OpenAPI Code Completion
di: Petryshyn, Bohdan, et al.
Pubblicazione: (2024)

DRS-OSS: Practical Diff Risk Scoring with LLMs
di: Sayedsalehi, Ali, et al.
Pubblicazione: (2025)

The Serial Scaling Hypothesis
di: Liu, Yuxi, et al.
Pubblicazione: (2025)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
di: Cojocaru, Liliana
Pubblicazione: (2015)

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

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
di: Liu, Kuangxiangzi, et al.
Pubblicazione: (2025)

Universal Conditional Logic: A Formal Language for Prompt Engineering
di: Mikinka, Anthony
Pubblicazione: (2025)

Decision Problems on Copying and Shuffling
di: Halava, Vesa, et al.
Pubblicazione: (2023)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
di: Arefin, Mohammad Rifat, et al.
Pubblicazione: (2025)

Languages of Words of Low Automatic Complexity Are Hard to Compute
di: Chen, Joey, et al.
Pubblicazione: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
di: George, Robert Joseph, et al.
Pubblicazione: (2025)

SLEAN: Simple Lightweight Ensemble Analysis Network for Multi-Provider LLM Coordination: Design, Implementation, and Vibe Coding Bug Investigation Case Study
di: Vargas, Matheus J. T.
Pubblicazione: (2025)

Binarized Neural Networks Converge Toward Algorithmic Simplicity: Empirical Support for the Learning-as-Compression Hypothesis
di: Sakabe, Eduardo Y., et al.
Pubblicazione: (2025)

Generative AI and the Transformation of Software Development Practices
di: Acharya, Vivek
Pubblicazione: (2025)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
di: Camlin, Jeffrey
Pubblicazione: (2025)

Approaching I/O-optimality for Approximate Attention
di: Papp, Pál András, et al.
Pubblicazione: (2026)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
di: Radosky, Lukas, et al.
Pubblicazione: (2026)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
di: Chan, Jhet
Pubblicazione: (2025)

Graded Transformers
di: Shaska Sr, Tony
Pubblicazione: (2025)

Quantum Deep Learning Still Needs a Quantum Leap
di: Gundlach, Hans, et al.
Pubblicazione: (2025)

Tricks and Plug-ins for Gradient Boosting with Transformers
di: Fang, Biyi, et al.
Pubblicazione: (2025)

NP-hard problems are not in BQP
di: Czerwinski, Reiner
Pubblicazione: (2023)

LTL Verification of Memoryful Neural Agents
di: Hosseini, Mehran, et al.
Pubblicazione: (2025)

Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

Multiple Query Satisfiability of Constrained Horn Clauses
di: De Angelis, Emanuele, et al.
Pubblicazione: (2022)

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
di: Lagerkvist, Victor, et al.
Pubblicazione: (2026)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
di: Khan, Ishraq, et al.
Pubblicazione: (2025)

The Optimizer Quotient and the Certification Trilemma
di: Simas, Tristan
Pubblicazione: (2026)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
di: Potanin, Alex
Pubblicazione: (2026)

A Comprehensive Mathematical and System-Level Analysis of Autonomous Vehicle Timelines
di: Perrone, Paul
Pubblicazione: (2025)

Algorithmic Barriers to Detecting and Repairing Structural Overspecification in Adaptive Data-Structure Selection
di: Alpay, Faruk, et al.
Pubblicazione: (2026)