English
Related papers

Related papers: Just-In-Time Piecewise-Linear Semantics for ReLU-t…

200 papers

We study the convergence of model-based policy gradient for the deterministic, scalar, discounted linear-quadratic regulator when the controller is an overparameterized one-hidden-layer ReLU network without biases. Although the optimal LQR…

Optimization and Control · Mathematics 2026-04-27 Jhojan A. Rodriguez-Gil , César A. Uribe

Just-in-Time (JIT) compilers are used by many modern programming systems in order to improve performance. Bugs in JIT compilers provide exploitable security vulnerabilities and debugging them is difficult as they are large, complex, and…

Programming Languages · Computer Science 2021-07-02 HeuiChan Lim , Stephen Kobourov

This paper introduces a novel tree-based model, Learning Hyperplane Tree (LHT), which outperforms state-of-the-art (SOTA) tree models for classification tasks on several public datasets. The structure of LHT is simple and efficient: it…

Machine Learning · Computer Science 2025-01-16 Hongyi Li , Jun Xu , William Ward Armstrong

Strategic planning is critical for multi-step reasoning, yet compact Large Language Models (LLMs) often lack the capacity to formulate global strategies, leading to error propagation in long-horizon tasks. Our analysis reveals that LLMs…

Computation and Language · Computer Science 2026-04-15 Haoyu Zheng , Yun Zhu , Yuqian Yuan , Bo Yuan , Wenqiao Zhang , Siliang Tang , Jun Xiao

Distributed machine learning (ML) over wireless networks hinges on accurate channel state information (CSI) and efficient exchange of high-dimensional model updates. These demands are governed by channel coherence time and bandwidth, which…

Information Theory · Computer Science 2026-03-10 Mehdi Karbalayghareh , David J. Love , Christopher G. Brinton

This paper presents a large language model (LLM)-based framework that adapts and fine-tunes compact LLMs for detecting cyberattacks on transformer current differential relays (TCDRs), which can otherwise cause false tripping of critical…

Cryptography and Security · Computer Science 2026-01-30 Ahmad Mohammad Saber , Saeed Jafari , Zhengmao Ouyang , Paul Budnarain , Amr Youssef , Deepa Kundur

In this paper, we present a novel and general network structure towards accelerating the inference process of convolutional neural networks, which is more complicated in network structure yet with less inference complexity. The core idea is…

Computer Vision and Pattern Recognition · Computer Science 2017-05-16 Xuanyi Dong , Junshi Huang , Yi Yang , Shuicheng Yan

Recently, some studies linked the computational power of abstract computing systems based on multiset rewriting to models of Petri nets and the computation power of these nets to their topology. In turn, the computational power of these…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Pierluigi Frisco , Oscar H. Ibarra

Model fine-tuning is a widely used transfer learning approach in person Re-identification (ReID) applications, which fine-tuning a pre-trained feature extraction model into the target scenario instead of training a model from scratch. It is…

Computer Vision and Pattern Recognition · Computer Science 2020-11-09 Zhengxu Yu , Dong Shen , Zhongming Jin , Jianqiang Huang , Deng Cai , Xian-Sheng Hua

We present new families of continuous piecewise linear (CPWL) functions in Rn having a number of affine pieces growing exponentially in $n$. We show that these functions can be seen as the high-dimensional generalization of the triangle…

Machine Learning · Computer Science 2020-01-20 Vincent Corlay , Joseph J. Boutros , Philippe Ciblat , Loic Brunel

As one of the Coordinated Multipoint (CoMP) techniques, Joint Transmission (JT) can improve the overall system performance. In this paper, from the load balancing perspective, we study how the maximum load can be reduced by optimizing JT…

Information Theory · Computer Science 2017-06-23 Lei You , Lei Lei , Di Yuan

Traditional network monitoring solutions usually lack of scalability due to their centralized nature collecting heartbeats from all network components via a single controller. As a solution, In-Band Network Telemetry (INT) framework has…

Networking and Internet Architecture · Computer Science 2023-01-02 Goksel Simsek , Doğanalp Ergenç , Ertan Onur

Large language models (LLMs) have shown promise in register-transfer level (RTL) design automation, but direct RTL generation remains difficult to validate, optimize, and integrate with compiler-based hardware design flows. Hardware…

Hardware Architecture · Computer Science 2026-05-19 Shuo Yin , Yihe Wang , Lancheng Zou , Xufeng Yao , Tinghuan Chen , Chen Bai , Zhengrong Wang , Tsung-Yi Ho , Bei Yu

In this paper, we consider the problem of automatically designing a Rectified Linear Unit (ReLU) Neural Network (NN) architecture (number of layers and number of neurons per layer) with the assurance that it is sufficiently parametrized to…

Machine Learning · Computer Science 2021-09-22 James Ferlez , Yasser Shoukry

This paper introduces LLM-Streamline, a pioneer work on layer pruning for large language models (LLMs). It is based on the observation that different layers have varying impacts on hidden states, enabling the identification of less…

Computation and Language · Computer Science 2025-01-28 Xiaodong Chen , Yuxuan Hu , Jing Zhang , Yanling Wang , Cuiping Li , Hong Chen

Recent works attribute the capability of in-context learning (ICL) in large pre-trained language models to implicitly simulating and fine-tuning an internal model (e.g., linear or 2-layer MLP) during inference. However, such constructions…

Computation and Language · Computer Science 2024-02-09 Abhishek Panigrahi , Sadhika Malladi , Mengzhou Xia , Sanjeev Arora

Due to strict rate and reliability demands, wireless image transmission remains difficult for both classical layered designs and joint source-channel coding (JSCC), especially under low latency. Diffusion-based generative decoders can…

Machine Learning · Computer Science 2026-01-13 Jingwen Fu , Ming Xiao , Mikael Skoglund , Dong In Kim

Neural networks with the Rectified Linear Unit (ReLU) nonlinearity are described by a vector of parameters $\theta$, and realized as a piecewise linear continuous function $R_{\theta}: x \in \mathbb R^{d} \mapsto R_{\theta}(x) \in \mathbb…

Machine Learning · Computer Science 2022-06-08 Pierre Stock , Rémi Gribonval

Production LLM systems often rely on separate models for safety and other classification-heavy steps, increasing latency, VRAM footprint, and operational complexity. We instead reuse computation already paid for by the serving LLM: we train…

Computation and Language · Computer Science 2026-04-28 Gonzalo Ariel Meyoyan , Luciano Del Corro

Standard training pipelines for large language models (LLMs) are typically unidirectional, progressing from pre-training to post-training. However, the potential for a bidirectional process--where insights from post-training retroactively…

Computation and Language · Computer Science 2026-02-04 Junjie Huang , Jiarui Qin , Di Yin , Weiwen Liu , Yong Yu , Xing Sun , Weinan Zhang