BitNet: 1-bit Pre-training for Large Language Models

Get full text

On Model Identification and Out-of-Sample Prediction of PCR with Applications to Synthetic Controls

Get full text

On the Statistical Properties of Generative Adversarial Models for Low Intrinsic Data Dimension

Get full text

Determine the Number of States in Hidden Markov Models via Marginal Likelihood

Get full text

Scaling Capability in Token Space: An Analysis of Large Vision Language Model

Get full text

Model-free Change-Point Detection Using AUC of a Classifier

Get full text

BitNet: 1-bit Pre-training for Large Language Models

Get full text

On Model Identification and Out-of-Sample Prediction of PCR with Applications to Synthetic Controls

Get full text

On the Statistical Properties of Generative Adversarial Models for Low Intrinsic Data Dimension

Get full text

Determine the Number of States in Hidden Markov Models via Marginal Likelihood

Get full text

Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking

Get full text

A Fully Abstract Model of PCF Based on Extended Addressing Machines

Get full text

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

Get full text

Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules

Get full text

A Formal Model for Polarization under Confirmation Bias in Social Networks

Get full text

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

Get full text

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

Get full text

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

Get full text

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

Get full text

Two Variable vs. Linear Temporal Logic in Model Checking and Games

Get full text