Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	AI, Lumen, School, Tengzhou No. 1 Middle, Ji, Shihao, Song, Zihui, Zhong, Fucheng, Jia, Jisen, Wu, Zhaobo, Cao, Zheyi, Xu, Tianhao
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Explaining Code Risk in OSS: Towards LLM-Generated Fault Prediction Interpretations
by: Adejumo, Elijah Kayode, et al.
Published: (2025)

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