English
Related papers

Related papers: A compositional semantics for Repairable Fault Tre…

200 papers

We introduce a probabilistic formalism subsuming Markov random fields of bounded tree width and probabilistic context free grammars. Our models are based on a representation of Boolean formulas that we call case-factor diagrams (CFDs). CFDs…

Artificial Intelligence · Computer Science 2012-07-19 David A. McAllester , Michael Collins , Fernando Pereira

We show that a lattice formulation of density-functional theory (DFT), guided by renormalization-group concepts, can be used to obtain numerical predictions of energy gaps, spin-density profiles, critical exponents, sound velocities,…

Strongly Correlated Electrons · Physics 2009-11-13 Francisco C. Alcaraz , Klaus Capelle

Supervised Fine-Tuning (SFT) is a critical step for enhancing the instruction-following capabilities of Large Language Models (LLMs) and adapting them to specialized domains. However, SFT often leads to a degradation of the model's general…

Computation and Language · Computer Science 2025-07-01 Fei Ding , Baiqiao Wang

Representation Fine-tuning (ReFT), a recently proposed Parameter-Efficient Fine-Tuning (PEFT) method, has attracted widespread attention for significantly improving parameter efficiency by editing representation space alone. In this work,…

Computation and Language · Computer Science 2025-07-15 Chenxi Huang , Shaotian Yan , Liang Xie , Binbin Lin , Sinan Fan , Yue Xin , Deng Cai , Chen Shen , Jieping Ye

We address the problem of finding influential training samples for a particular case of tree ensemble-based models, e.g., Random Forest (RF) or Gradient Boosted Decision Trees (GBDT). A natural way of formalizing this problem is studying…

Machine Learning · Computer Science 2018-03-14 Boris Sharchilev , Yury Ustinovsky , Pavel Serdyukov , Maarten de Rijke

Modern machine learning (ML) models have grown to a scale where training them on a single machine becomes impractical. As a result, there is a growing trend to leverage federated learning (FL) techniques to train large ML models in a…

Machine Learning · Computer Science 2024-12-20 Zhanbo Feng , Yuanjie Wang , Jie Li , Fan Yang , Jiong Lou , Tiebin Mi , Robert. C. Qiu , Zhenyu Liao

Numerous computer systems use dynamic control and data structures of unbounded size. These data structures have often the character of trees or they can be encoded as trees with some additional pointers. This is exploited by some currently…

Formal Languages and Automata Theory · Computer Science 2012-04-17 Ondřej Lengál

Compositional generalization is a crucial step towards developing data-efficient intelligent machines that generalize in human-like ways. In this work, we tackle a challenging form of distribution shift, termed compositional shift, where…

Machine Learning · Computer Science 2025-07-14 Divyat Mahajan , Mohammad Pezeshki , Charles Arnal , Ioannis Mitliagkas , Kartik Ahuja , Pascal Vincent

We present a new algorithm, Fractional Decomposition Tree (FDT) for finding a feasible solution for an integer program (IP) where all variables are binary. FDT runs in polynomial time and is guaranteed to find a feasible integer solution…

Discrete Mathematics · Computer Science 2020-08-12 Robert D. Carr , Arash Haddadan , Cynthia A. Phillips

In quantitative trading, transforming historical stock data into interpretable, formulaic risk factors enhances the identification of market volatility and risk. Despite recent advancements in neural networks for extracting latent risk…

Computational Engineering, Finance, and Science · Computer Science 2025-09-23 Wenyan Xu , Rundong Wang , Chen Li , Yonghong Hu , Zhonghua Lu

Our aim is to contribute to quantum field theory (QFT) formalisms useful for descriptions of short time phenomena, dominant especially in heavy ion collisions. We formulate out-of-equilibrium QFT within the finite-time-path formalism (FTP)…

High Energy Physics - Theory · Physics 2020-01-03 Ivan Dadić , Dubravko Klabučar

We establish an assume-guarantee (AG) framework for compositional reasoning about multi-objective queries in parametric probabilistic automata (pPA) - an extension to probabilistic automata (PA), where transition probabilities are functions…

Logic in Computer Science · Computer Science 2025-06-11 Hannah Mertens , Tim Quatmann , Joost-Pieter Katoen

Consider the generalized iterated wreath product $\mathbb{Z}_{r_1}\wr \mathbb{Z}_{r_2}\wr \ldots \wr \mathbb{Z}_{r_k}$ where $r_i \in \mathbb{N}$. We prove that the irreducible representations for this class of groups are indexed by a…

Representation Theory · Mathematics 2018-09-11 Mee Seong Im , Angela Wu

Feature transformation plays a critical role in enhancing machine learning model performance by optimizing data representations. Recent state-of-the-art approaches address this task as a continuous embedding optimization problem, converting…

Machine Learning · Computer Science 2025-08-29 Yang Gao , Dongjie Wang , Scott Piersall , Ye Zhang , Liqiang Wang

Fractional repetition (FR) codes are a class of regenerating codes for distributed storage systems with an exact (table-based) repair process that is also uncoded, i.e., upon failure, a node is regenerated by simply downloading packets from…

Information Theory · Computer Science 2016-02-09 Oktay Olmez , Aditya Ramamoorthy

Since the launch of ChatGPT at the end of 2022, generative dialogue models represented by ChatGPT have quickly become essential tools in daily life. As user expectations increase, enhancing the capability of generative dialogue models to…

Computation and Language · Computer Science 2024-09-02 Yuetong Zhao , Hongyu Cao , Xianyu Zhao , Zhijian Ou

The computational complexity of time-dependent perturbation theory is well-known to be largely combinatorial whatever the chosen expansion method and family of parameters (combinatorial sequences, Goldstone and other Feynman-type…

Strongly Correlated Electrons · Physics 2010-07-26 Christian Brouder , Ângela Mestre , Frédéric Patras

Accelerated failure time (AFT) models are used widely in medical research, though to a much lesser extent than proportional hazards models. In an AFT model, the effect of covariates act to accelerate or decelerate the time to event of…

Methodology · Statistics 2020-06-15 Michael J. Crowther , Patrick Royston , Mark Clements

Fault tolerance is essential for building reliable services; however, it comes at the price of redundancy, mainly the "replication factor" and "diversity". With the increasing reliance on Internet-based services, more machines (mainly…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-10-04 Ali Shoker

In this paper, we propose DiFF-RF, an ensemble approach composed of random partitioning binary trees to detect point-wise and collective (as well as contextual) anomalies. Thanks to a distance-based paradigm used at the leaves of the trees,…

Machine Learning · Computer Science 2021-01-15 Pierre-Francois Marteau