:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	AI, Lumen, School, Tengzhou No. 1 Middle, Ji, Shihao, Song, Zihui, Zhong, Fucheng, Jia, Jisen, Wu, Zhaobo, Cao, Zheyi, Xu, Tianhao
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Software Engineering
Accesso online:	https://arxiv.org/abs/2501.18657
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Chinese Stock Prediction Based on a Multi-Modal Transformer Framework: Macro-Micro Information Fusion
di: AI, Lumen, et al.
Pubblicazione: (2025)

Transformer^-1: Input-Adaptive Computation for Resource-Constrained Deployment
di: AI, Lumen, et al.
Pubblicazione: (2025)

OpenGrok: Enhancing SNS Data Processing with Distilled Knowledge and Mask-like Mechanisms
di: AI, Lumen, et al.
Pubblicazione: (2025)

MyGO Multiplex CoT: A Method for Self-Reflection in Large Language Models via Double Chain of Thought Thinking
di: Ji, Shihao, et al.
Pubblicazione: (2025)

RAID-0e: A Resilient Striping Array Architecture for Balanced Performance and Availability
di: Jia, Yanzhao, et al.
Pubblicazione: (2025)

Towards Bridging Formal Methods and Human Interpretability
di: Paul, Abhijit, et al.
Pubblicazione: (2025)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
di: Xia, Shihao, et al.
Pubblicazione: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
di: Zhang, Liao, et al.
Pubblicazione: (2026)

Towards a Fault-Injection Benchmarking Suite
di: Wang, Tianhao, et al.
Pubblicazione: (2024)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
di: Tagliaferro, Alberto, et al.
Pubblicazione: (2026)

Towards a DSL to Formalize Multimodal Requirements
di: Gomez-Vazquez, Marcos, et al.
Pubblicazione: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
di: Wei, Tianhao, et al.
Pubblicazione: (2024)

ProofWright: Towards Agentic Formal Verification of CUDA
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2025)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2025)

Principal Context-aware Diffusion Guided Data Augmentation for Fault Localization
di: Fu, Shihao, et al.
Pubblicazione: (2025)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
di: Andresel, Medina, et al.
Pubblicazione: (2026)

Can Large Language Models Model Programs Formally?
di: Chen, Zhiyong, et al.
Pubblicazione: (2026)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
di: Molinelli, Davide, et al.
Pubblicazione: (2025)

Towards Automated Formal Verification of Backend Systems with LLMs
di: Xu, Kangping, et al.
Pubblicazione: (2025)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
di: Wang, Hongshu, et al.
Pubblicazione: (2026)

Towards the Next Generation of Software: Insights from Grey Literature on AI-Native Applications
di: Cao, Lingli, et al.
Pubblicazione: (2025)

AtPatch: Debugging Transformers via Hot-Fixing Over-Attention
di: Weng, Shihao, et al.
Pubblicazione: (2026)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
di: Hähnle, Reiner, et al.
Pubblicazione: (2025)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
di: Murphy, Logan, et al.
Pubblicazione: (2025)

Compressing Code Context for LLM-based Issue Resolution
di: Jia, Haoxiang, et al.
Pubblicazione: (2026)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
di: Herbold, Steffen, et al.
Pubblicazione: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
di: Yang, Fanpeng, et al.
Pubblicazione: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
di: Wang, Lianjing, et al.
Pubblicazione: (2026)

AOCI: Symbolic-Semantic Indexing for Practical Repository-Scale Code Understanding with LLMs
di: Liu, Jinshi, et al.
Pubblicazione: (2026)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
di: Ganesha, et al.
Pubblicazione: (2025)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
di: Yang, Shuo, et al.
Pubblicazione: (2024)

MLDebugging: Towards Benchmarking Code Debugging Across Multi-Library Scenarios
di: Huang, Jinyang, et al.
Pubblicazione: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
di: Marron, Mark
Pubblicazione: (2024)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
di: Schuler, Nicolas, et al.
Pubblicazione: (2026)

Towards an Interpretable Analysis for Estimating the Resolution Time of Software Issues
di: Nastos, Dimitrios-Nikitas, et al.
Pubblicazione: (2025)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
di: Kulik, Tomas, et al.
Pubblicazione: (2024)

OpenCodeInterpreter: Integrating Code Generation with Execution and Refinement
di: Zheng, Tianyu, et al.
Pubblicazione: (2024)

LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding
di: Shan, Shiwen, et al.
Pubblicazione: (2026)

Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
di: Lin, Yi, et al.
Pubblicazione: (2026)