English
Related papers

Related papers: The strength of the Inner Model Hypothesis

200 papers

Stochastic dynamical systems consisting of non-invertible continuous maps on an interval are studied. It is proved that if they satisfy the recently introduced so-called $\mu$-injectivity and some mild assumptions, then proximality,…

Dynamical Systems · Mathematics 2025-12-11 Sander C. Hille , Katarzyna Horbacz , Hanna Oppelmayer , Tomasz Szarek

Large language models (LLMs) demonstrate surprising capabilities, but we do not understand how they are implemented. One hypothesis suggests that these capabilities are primarily executed by small subnetworks within the LLM, known as…

Large language models (LLMs) often exhibit deficient reasoning or generate hallucinations. To address these, studies prefixed with "Self-" such as Self-Consistency, Self-Improve, and Self-Refine have been initiated. They share a…

Computation and Language · Computer Science 2024-09-19 Xun Liang , Shichao Song , Zifan Zheng , Hanyu Wang , Qingchen Yu , Xunkai Li , Rong-Hua Li , Yi Wang , Zhonghao Wang , Feiyu Xiong , Zhiyu Li

Answering questions of Y. Rabinovich, we prove "stability" versions of upper bounds on maximal independent set counts in graphs under various restrictions. Roughly these say that being close to the maximum implies existence of a large…

Combinatorics · Mathematics 2018-08-22 Jeff Kahn , Jinyoung Park

Accurate immunological models offer the possibility of performing highthroughput experiments in silico that can predict, or at least suggest, in vivo phenomena. In this chapter, we compare various models of immunological memory. We first…

Artificial Intelligence · Computer Science 2010-07-05 Simon Garret , Martin Robbins , Joanne Walker , William Wilson , Uwe Aickelin

We consider here asymptotic models that describe the propagation of one-dimensional internal waves at the interface between two layers of immiscible fluids of different densities, under the rigid lid assumption and with uneven bottoms. The…

Analysis of PDEs · Mathematics 2015-07-10 Samer Israwi , Ralph Lteif , Raafat Talhouk

Mathematical analysis of the analytic hierarchy process (AHP) led to the development of a mathematical function, usually called the inconsistency index, which has the center role in measuring the inconsistency of the judgements in AHP.…

Logic in Computer Science · Computer Science 2024-08-27 Sangeeta Pant , Anuj Kumar , Jiří Mazurek

A popular approach to post-training control of large language models (LLMs) is the steering of intermediate latent representations. Namely, identify a well-chosen direction depending on the task at hand and perturbs representations along…

Machine Learning · Computer Science 2026-02-04 Magamed Taimeskhanov , Samuel Vaiter , Damien Garreau

We introduce Harmonic Robustness, a powerful and intuitive method to test the robustness of any machine-learning model either during training or in black-box real-time inference monitoring without ground-truth labels. It is based on…

Machine Learning · Computer Science 2024-04-30 Nicholas S. Kersting , Yi Li , Aman Mohanty , Oyindamola Obisesan , Raphael Okochu

We give a general proof of the strong consistency of the Maximum Likelihood Estimator for the case of independent non-identically distributed (i.n.i.d) data, assuming that the density functions of the random variables follow a particular…

Statistics Theory · Mathematics 2025-01-14 Ricardo Ferreira , Filipa Valdeira , Marta Guimarães , Cláudia Soares

We study the gauge-independent observables associated with two interesting stationary configurations of the Standard Model Higgs potential (extrapolated to high energy according to the present state of the art, namely the NNLO): i) the…

High Energy Physics - Phenomenology · Physics 2016-10-26 Giuseppe Iacobellis , Isabella Masina

We introduce a notion of algorithmic stability of learning algorithms---that we term \emph{argument stability}---that captures stability of the hypothesis output by the learning algorithm in the normed space of functions from which…

Machine Learning · Statistics 2017-08-04 Tongliang Liu , Gábor Lugosi , Gergely Neu , Dacheng Tao

Recently, interpretable models called self-explaining models (SEMs) have been proposed with the goal of providing interpretability robustness. We evaluate the interpretability robustness of SEMs and show that explanations provided by SEMs…

Machine Learning · Computer Science 2020-07-03 Haizhong Zheng , Earlence Fernandes , Atul Prakash

The framework of Inferential Models (IMs) has recently been developed in search of what is referred to as the holy grail of statistical theory, that is, prior-free probabilistic inference. Its method of Conditional IMs (CIMs) is a critical…

Statistics Theory · Mathematics 2023-01-13 Rongrong Zhang , Michael Y. Zhu , Chuanhai Liu

Recently maximum pseudo-likelihood (MPL) inference method has been successfully applied to statistical physics models with intractable likelihoods. We use information theory to derive a relation between the pseudo-likelihood and likelihood…

Disordered Systems and Neural Networks · Physics 2015-06-18 Alexander Mozeika , Onur Dikmen , Joonas Piili

This paper comments on the published work dealing with robustness and regularization of support vector machines (Journal of Machine Learning Research, vol. 10, pp. 1485-1510, 2009) [arXiv:0803.3490] by H. Xu, etc. They proposed a theorem to…

Machine Learning · Computer Science 2013-08-20 Yahya Forghani , Hadi Sadoghi Yazdi

High-dimensional statistical inference with general estimating equations are challenging and remain less explored. In this paper, we study two problems in the area: confidence set estimation for multiple components of the model parameters,…

Methodology · Statistics 2021-04-28 Jinyuan Chang , Song Xi Chen , Cheng Yong Tang , Tong Tong Wu

We prove the stability conjecture of $\imath$canonical bases, which was raised by Huanchen Bao and Weiqiang Wang in 2016, for all locally finite types. To this end, we characterize the trivial module over the $\imath$quantum groups of such…

Representation Theory · Mathematics 2023-06-22 Hideya Watanabe

Large Language Models (LLMs) have demonstrated impressive performance across a wide range of applications; however, assessing their reasoning capabilities remains a significant challenge. In this paper, we introduce a framework grounded in…

Computation and Language · Computer Science 2024-09-06 Shima Imani , Hamid Palangi

This paper deals with parameter estimation in pair hidden Markov models (pair-HMMs). We first provide a rigorous formalism for these models and discuss possible definitions of likelihoods. The model being biologically motivated, some…

Statistics Theory · Mathematics 2010-12-09 Ana Arribas-Gil , Elisabeth Gassiat , Catherine Matias