English
Related papers

Related papers: Fitting Multilinear Polynomials for Logic Gate Net…

200 papers

Integrated Computational Materials Engineering (ICME) aims to accelerate optimal design of complex material systems by integrating material science and design automation. For tractable ICME, it is required that (1) a structural feature…

Materials Science · Physics 2017-05-01 Ruijin Cang , Yaopengxiao Xu , Shaohua Chen , Yongming Liu , Yang Jiao , Max Yi Ren

In the algebraic view, the solution to a network coding problem is seen as a variety specified by a system of polynomial equations typically derived by using edge-to-edge gains as variables. The output from each sink is equated to its…

Information Theory · Computer Science 2016-11-17 Abhay T. Subramanian , Andrew Thangaraj

While critical for alignment, Supervised Fine-Tuning (SFT) incurs the risk of catastrophic forgetting, yet the layer-wise emergence of instruction-following capabilities remains elusive. We investigate this mechanism via a comprehensive…

Machine Learning · Computer Science 2026-04-15 Qinghua Zhao , Xueling Gong , Xinyu Chen , Zhongfeng Kang , Xinlu Li

The fundamental matrix can be estimated from point matches. The current gold standard is to bootstrap the eight-point algorithm and two-view projective bundle adjustment. The eight-point algorithm first computes a simple linear least…

Optimization and Control · Mathematics 2014-03-20 Florian Bugarin , Adrien Bartoli , Didier Henrion , Jean-Bernard Lasserre , Jean-José Orteu , Thierry Sentenac

The last layer of neural language models (LMs) projects output features of dimension $D$ to logits in dimension $V$, the size of the vocabulary, where usually $D \ll V$. This mismatch is known to raise risks of limited expressivity in…

Computation and Language · Computer Science 2026-03-12 Nathan Godey , Yoav Artzi

We systematically construct and classify fault-tolerant logical gates implemented by constant-depth circuits for quantum codes using cohomology operations and symmetry. These logical gates are obtained from unitary operators given by…

Quantum Physics · Physics 2025-06-30 Po-Shen Hsin , Ryohei Kobayashi , Guanyu Zhu

We illustrate the detrimental effect, such as overconfident decisions, that exponential behavior can have in methods like classical LDA and logistic regression. We then show how polynomiality can remedy the situation. This, among others,…

Machine Learning · Computer Science 2022-03-25 Ziqi Wang , Marco Loog

The low-level spatial detail information and high-level semantic abstract information are both essential to the semantic segmentation task. The features extracted by the deep network can obtain rich semantic information, while a lot of…

Computer Vision and Pattern Recognition · Computer Science 2023-12-13 Xiaojie Fang , Xingguo Song , Xiangyin Meng , Xu Fang , Sheng Jin

Large-scale machine learning models necessitate distributed systems, posing significant design challenges due to the large parameter space across distinct design stacks. Existing studies often focus on optimizing individual system aspects…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-22 Aditi Raju , Jared Ni , William Won , Changhai Man , Srivatsan Krishnan , Srinivas Sridharan , Amir Yazdanbakhsh , Tushar Krishna , Vijay Janapa Reddi

We study the problem of learning a binary classifier on the vertices of a graph. In particular, we consider classifiers given by monophonic halfspaces, partitions of the vertices that are convex in a certain abstract sense. Monophonic…

Machine Learning · Computer Science 2024-06-19 Marco Bressan , Emmanuel Esposito , Maximilian Thiessen

Large Language Models (LLMs) promise impressive capabilities, yet their multi-billion-parameter scale makes on-device or low-resource deployment prohibitive. Mixed-precision quantization offers a compelling solution, but existing methods…

Machine Learning · Computer Science 2025-12-16 Junchen Zhao , Ali Derakhshan , Jayden Kana Hyman , Junhao Dong , Sangeetha Abdu Jyothi , Ian Harris

Exact scientific discovery requires more than heuristic search: candidate constructions must be turned into exact objects and checked independently. We address this gap by extending TeXRA with an independent Lean 4 verification layer,…

Quantum Physics · Physics 2026-04-07 Xi He , Sirui Lu , Bei Zeng

Estimating the clutter-plus-noise covariance matrix in high-dimensional STAP is challenging in the presence of Internal Clutter Motion (ICM) and a high noise floor. The problem becomes more difficult in low-sample regimes, where the Sample…

Signal Processing · Electrical Eng. & Systems 2025-05-13 Shashwat Jain , Vikram Krishnamurthy , Muralidhar Rangaswamy , Sandeep Gogineni , Bosung Kang , Sean M. O'Rourke

Large language models (LLMs) show promising performance on small-scale graph reasoning tasks but fail when handling real-world graphs with complex queries. This phenomenon arises from LLMs' working memory constraints, which result in their…

Artificial Intelligence · Computer Science 2025-10-01 Rongzheng Wang , Shuang Liang , Qizhi Chen , Yihong Huang , Muquan Li , Yizhuo Ma , Dongyang Zhang , Ke Qin , Man-Fai Leung

Modern cryptographic methods for implementing privacy-preserving LLMs such as \gls{HE} require the LLMs to have a polynomial form. Forming such a representation is challenging because transformers include non-polynomial components, such as…

Modern deep residual networks perform substantial redundant computation by evaluating all residual blocks for every input, even when identity mappings suffice. We introduce CosineGate, an end-to-end differentiable architecture for dynamic…

Neural and Evolutionary Computing · Computer Science 2025-12-30 Yogeswar Reddy Thota

Deep learning techniques are renowned for supporting effective transfer learning. However, as we demonstrate, the transferred representations support only a few modes of separation and much of its dimensionality is unutilized. In this work,…

Computer Vision and Pattern Recognition · Computer Science 2015-12-23 Etai Littwin , Lior Wolf

Mixture of Experts (MoE) models are well known for effectively scaling model capacity while preserving computational overheads. In this paper, we establish a rigorous relation between MoE and the self-attention mechanism, showing that each…

Machine Learning · Statistics 2025-07-10 Pedram Akbarian , Huy Nguyen , Xing Han , Nhat Ho

Robust matrix completion (RMC) is a widely used machine learning tool that simultaneously tackles two critical issues in low-rank data analysis: missing data entries and extreme outliers. This paper proposes a novel scalable and learnable…

Machine Learning · Computer Science 2026-05-22 HanQin Cai , Chandra Kundu , Jialin Liu , Wotao Yin

We present a method that trains large capacity neural networks with significantly improved accuracy and lower dynamic computational cost. We achieve this by gating the deep-learning architecture on a fine-grained-level. Individual…

Machine Learning · Computer Science 2020-04-06 Babak Ehteshami Bejnordi , Tijmen Blankevoort , Max Welling