Buchumschlag

Enhancing Large Language Model Efficiencyvia Symbolic Compression: A Formal Approach Towards Interpretability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	AI, Lumen, School, Tengzhou No. 1 Middle, Ji, Shihao, Song, Zihui, Zhong, Fucheng, Jia, Jisen, Wu, Zhaobo, Cao, Zheyi, Xu, Tianhao
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Transformer^-1: Input-Adaptive Computation for Resource-Constrained Deployment
von: AI, Lumen, et al.
Veröffentlicht: (2025)

OpenGrok: Enhancing SNS Data Processing with Distilled Knowledge and Mask-like Mechanisms
von: AI, Lumen, et al.
Veröffentlicht: (2025)

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

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

Towards Bridging Formal Methods and Human Interpretability
von: Paul, Abhijit, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
von: Zhang, Liao, et al.
Veröffentlicht: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
von: Xia, Shihao, et al.
Veröffentlicht: (2026)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
von: Tagliaferro, Alberto, et al.
Veröffentlicht: (2026)

Towards a Fault-Injection Benchmarking Suite
von: Wang, Tianhao, et al.
Veröffentlicht: (2024)

Towards a DSL to Formalize Multimodal Requirements
von: Gomez-Vazquez, Marcos, et al.
Veröffentlicht: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
von: Chatterjee, Bodhisatwa, et al.
Veröffentlicht: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
von: Wei, Tianhao, et al.
Veröffentlicht: (2024)

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

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
von: Mitchell, Jacqueline L., et al.
Veröffentlicht: (2025)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
von: Molinelli, Davide, et al.
Veröffentlicht: (2025)

Can Large Language Models Model Programs Formally?
von: Chen, Zhiyong, et al.
Veröffentlicht: (2026)

Principal Context-aware Diffusion Guided Data Augmentation for Fault Localization
von: Fu, Shihao, et al.
Veröffentlicht: (2025)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
von: Wang, Hongshu, et al.
Veröffentlicht: (2026)

Towards Automated Formal Verification of Backend Systems with LLMs
von: Xu, Kangping, et al.
Veröffentlicht: (2025)

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

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
von: Murphy, Logan, et al.
Veröffentlicht: (2025)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
von: Andresel, Medina, et al.
Veröffentlicht: (2026)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
von: Herbold, Steffen, et al.
Veröffentlicht: (2025)

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

Compressing Code Context for LLM-based Issue Resolution
von: Jia, Haoxiang, et al.
Veröffentlicht: (2026)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
von: Ganesha, et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

AOCI: Symbolic-Semantic Indexing for Practical Repository-Scale Code Understanding with LLMs
von: Liu, Jinshi, et al.
Veröffentlicht: (2026)

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

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

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
von: Yang, Shuo, et al.
Veröffentlicht: (2024)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
von: Schuler, Nicolas, et al.
Veröffentlicht: (2026)

AtPatch: Debugging Transformers via Hot-Fixing Over-Attention
von: Weng, Shihao, et al.
Veröffentlicht: (2026)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding
von: Shan, Shiwen, et al.
Veröffentlicht: (2026)

Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
von: Lin, Yi, et al.
Veröffentlicht: (2026)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
von: Abdullin, Azat, et al.
Veröffentlicht: (2025)

Explaining Code Risk in OSS: Towards LLM-Generated Fault Prediction Interpretations
von: Adejumo, Elijah Kayode, et al.
Veröffentlicht: (2025)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
von: Kulik, Tomas, et al.
Veröffentlicht: (2024)