Buchumschlag

Fidelity Probes for Specification--Code Alignment

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Erata, Ferhat, Zhou, Hao, Huan, Luke
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Machine Learning Artificial Intelligence D.2.4; I.2.7; G.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Context-Instrumental Data Distillation for Kubernetes Manifest Generation: Method and Experimental Evaluation
von: Kozachok, Andrey, et al.
Veröffentlicht: (2026)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
von: Ranasinghe, Nishath Rajiv, et al.
Veröffentlicht: (2025)

LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
von: Yadamsuren, Borchuluun, et al.
Veröffentlicht: (2025)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
von: Thompson, Kyle, et al.
Veröffentlicht: (2024)

Large Language Models as Oracles for Ontology Alignment
von: Lushnei, Sviatoslav, et al.
Veröffentlicht: (2025)

FED-FSTQ: Fisher-Guided Token Quantization for Communication-Efficient Federated Fine-Tuning of LLMs on Edge Devices
von: Li, Changyu, et al.
Veröffentlicht: (2026)

Unveiling the Secret Recipe: A Guide For Supervised Fine-Tuning Small LLMs
von: Pareja, Aldo, et al.
Veröffentlicht: (2024)

Sycophancy as compositions of Atomic Psychometric Traits
von: Jain, Shreyans, et al.
Veröffentlicht: (2025)

Comparison of Metadata Representation Models for Knowledge Graph Embeddings
von: Egami, Shusaku, et al.
Veröffentlicht: (2025)

SemanticAgent: A Semantics-Aware Framework for Text-to-SQL Data Synthesis
von: Gao, Qiang, et al.
Veröffentlicht: (2026)

From Fake Focus to Real Precision: Confusion-Driven Adversarial Attention Learning in Transformers
von: Liu, Yawei
Veröffentlicht: (2025)

Automatic Prompt Optimization for Knowledge Graph Construction: Insights from an Empirical Study
von: Mihindukulasooriya, Nandana, et al.
Veröffentlicht: (2025)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
von: Jana, Prithwish, et al.
Veröffentlicht: (2026)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
von: Lucas, Tom, et al.
Veröffentlicht: (2026)

RAPTOR-AI for Disaster OODA Loop: Hierarchical Multimodal RAG with Experience-Driven Agentic Decision-Making
von: Yasuno, Takato
Veröffentlicht: (2026)

Predicting the descent into extremism and terrorism
von: Lane, R. O., et al.
Veröffentlicht: (2025)

Generative transformations and patterns in LLM-native approaches for software verification and falsification
von: Braberman, Víctor A., et al.
Veröffentlicht: (2024)

By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode
von: Vernie, Julius, et al.
Veröffentlicht: (2026)

Learning, Fast and Slow: Towards LLMs That Adapt Continually
von: Tiwari, Rishabh, et al.
Veröffentlicht: (2026)

Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study
von: Qin, Xue, et al.
Veröffentlicht: (2026)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
von: Baldonado, Juan Manuel, et al.
Veröffentlicht: (2025)

Knowledge Graphs as the Missing Data Layer for LLM-Based Industrial Asset Operations
von: Mandarapu, Madhulatha, et al.
Veröffentlicht: (2026)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
von: Nathanson, Samuel, et al.
Veröffentlicht: (2025)

Learning What Matters: Probabilistic Task Selection via Mutual Information for Model Finetuning
von: Chanda, Prateek, et al.
Veröffentlicht: (2025)

Graph Language Models
von: Plenz, Moritz, et al.
Veröffentlicht: (2024)

Dual-Phase Federated Deep Unlearning via Weight-Aware Rollback and Reconstruction
von: Zhou, Changjun, et al.
Veröffentlicht: (2025)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
von: Kessel, Marcus
Veröffentlicht: (2024)

N-Version Assessment and Enhancement of Generative AI
von: Kessel, Marcus, et al.
Veröffentlicht: (2024)

Morescient GAI for Software Engineering (Extended Version)
von: Kessel, Marcus, et al.
Veröffentlicht: (2024)

Making a Pipeline Production-Ready: Challenges and Lessons Learned in the Healthcare Domain
von: Lawand, Daniel Angelo Esteves, et al.
Veröffentlicht: (2025)

SPIRA: Building an Intelligent System for Respiratory Insufficiency Detection
von: Ferreira, Renato Cordeiro, et al.
Veröffentlicht: (2025)

Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Automated structural testing of LLM-based agents: methods, framework, and case studies
von: Kohl, Jens, et al.
Veröffentlicht: (2026)

The Limits of Obliviate: Evaluating Unlearning in LLMs via Stimulus-Knowledge Entanglement-Behavior Framework
von: Shah, Aakriti, et al.
Veröffentlicht: (2025)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
von: Wang, Changjie, et al.
Veröffentlicht: (2025)

NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings
von: Vexler, Vladi, et al.
Veröffentlicht: (2026)

Multi-Paradigm Agent Interaction in Practice:A Systematic Analysis of Generator-Evaluator, ReAct Loop,and Adversarial Evaluation in the buddyMe Framework
von: Wang, Xiaohua, et al.
Veröffentlicht: (2026)

OntoLogX: Ontology-Guided Knowledge Graph Extraction from Cybersecurity Logs with Large Language Models
von: Cotti, Luca, et al.
Veröffentlicht: (2025)

HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph
von: He, Yongquan, et al.
Veröffentlicht: (2024)

Hopscotch: Discovering and Skipping Redundancies in Language Models
von: Eyceoz, Mustafa, et al.
Veröffentlicht: (2025)