:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Nie, Jihui, Du, Dehui, Zhao, Jiangnan
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Artificial Intelligence 68N30 D.2.4
Acceso en línea:	https://arxiv.org/abs/2405.15829
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
por: Erhard, Julian, et al.
Publicado: (2024)

Type Inference for Isabelle2Cpp
por: Jiang, Dongchen, et al.
Publicado: (2024)

AI for software engineering: from probable to provable
por: Meyer, Bertrand
Publicado: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
por: Lauer, Alexander, et al.
Publicado: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
por: Helbling, Caleb, et al.
Publicado: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
por: Helbling, Caleb, et al.
Publicado: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
por: López, Hugo A., et al.
Publicado: (2024)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
por: Lin, Hongyu, et al.
Publicado: (2026)

Optimal matching for sharing and linearity analysis
por: Amato, Gianluca, et al.
Publicado: (2024)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
por: Bouzinier, Michael, et al.
Publicado: (2026)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
por: Li, Meng, et al.
Publicado: (2026)

Formal Analysis and Supply Chain Security for Agentic AI Skills
por: Bhardwaj, Varun Pratap
Publicado: (2026)

Execution Semantics of Behavior Trees in Robotic Applications
por: Ghiorzi, Enrico, et al.
Publicado: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
por: Liyanage, Danushka, et al.
Publicado: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
por: Wang, Chengpeng, et al.
Publicado: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
por: Grahl, Johanna, et al.
Publicado: (2025)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
por: Peyrano, Ignacio
Publicado: (2026)

Attack-Centric by Design: A Program-Structure Taxonomy of Smart Contract Vulnerabilities
por: Hedayatnia, Parsa, et al.
Publicado: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
por: Rumpe, Bernhard, et al.
Publicado: (2025)

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
por: Lyu, Ce, et al.
Publicado: (2025)

On The Expressive Power of Knowledge Graph Embedding Methods
por: Gao, Jiexing, et al.
Publicado: (2024)

Answer Set Networks: Casting Answer Set Programming into Deep Learning
por: Skryagin, Arseny, et al.
Publicado: (2024)

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

A Prompt Learning Framework for Source Code Summarization
por: Xu, Tingting, et al.
Publicado: (2023)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
por: Guo, Jinyao, et al.
Publicado: (2025)

Boolean Nearest Neighbor Language in the Knowledge Compilation Map
por: Čepek, Ondřej, et al.
Publicado: (2024)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
por: Buoncompagni, Luca, et al.
Publicado: (2024)

Is logical analysis performed by transformers taking place in self-attention or in the fully connected part?
por: Shin, Evgeniy, et al.
Publicado: (2025)

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

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

Digital Twin Mobility Profiling: A Spatio-Temporal Graph Learning Approach
por: Chen, Xin, et al.
Publicado: (2024)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
por: Calimeri, Francesco, et al.
Publicado: (2024)

Semantic Modeling for World-Centered Architectures
por: Mantsivoda, Andrei, et al.
Publicado: (2026)

Validation of an analyzability model for quantum software: a family of experiments
por: Díaz-Muñoz, Ana, et al.
Publicado: (2026)

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
por: Liang, Zhen, et al.
Publicado: (2024)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
por: Huisman, Marieke, et al.
Publicado: (2020)

Decentralized Task Scheduling in Distributed Systems: A Deep Reinforcement Learning Approach
por: John, Daniel Benniah
Publicado: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
por: Lu, Weijie, et al.
Publicado: (2026)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
por: Haak, Anselm, et al.
Publicado: (2026)

A Novel Kuhnian Ontology for Epistemic Classification of STM Scholarly Articles
por: Saqr, Khalid M.
Publicado: (2020)