相关论文: Maudlin's Challenge Refuted: A Reply to Lewis

Artificial intelligence and machine learning algorithms have become ubiquitous. Although they offer a wide range of benefits, their adoption in decision-critical fields is limited by their lack of interpretability, particularly with textual…

In Multiple Instance Learning (MIL), models are trained using bags of instances, where only a single label is provided for each bag. A bag label is often only determined by a handful of key instances within a bag, making it difficult to…

Extending the lambda-calculus with a construct for sharing, such as let expressions, enables a special representation of terms: iterated applications are decomposed by introducing sharing points in between any two of them, reducing to the…

Some of the well-known experiments: the ''muon'' experiment, the Michelson-Morley type experiments, the Kennedy-Thorndike type experiments and the Ives-Stilwell type experiments are analyzed using the nonrelativistic theory, the ''apparent…

Recurrent neural networks are effective models to process sequences. However, they are unable to learn long-term dependencies because of their inherent sequential nature. As a solution, Vaswani et al. introduced the Transformer, a model…

We study perturbations of topological pressures, Gibbs measures and measure-theoretic entropies of these measures concerning perturbed potentials defined on topologically transitive subshift of finite type. The subshift with respect to…

Transformer-based language models have shown strong performance on an array of natural language understanding tasks. However, the question of how these models react to implicit meaning has been largely unexplored. We investigate this using…

This paper is concerned with the time-dependent Maxwell's equations for a plane interface between a negative material described by the Drude model and the vacuum, which fill, respectively, two complementary half-spaces. In a first paper, we…

Interpretable machine learning models offer understandable reasoning behind their decision-making process, though they may not always match the performance of their black-box counterparts. This trade-off between interpretability and model…

In automated planning, the need for explanations arises when there is a mismatch between a proposed plan and the user's expectation. We frame Explainable AI Planning in the context of the plan negotiation problem, in which a succession of…

Quantum mechanics has lacked a widely recognized interpretation since its birth. Many of these are still under consideration because interpretations are tough or impossible to disprove experimentally. We show how to distinguish…

Many real-world systems exhibit ``noisy'' evolution in time; interpreting their finitely-sampled behavior as arising from continuous-time processes (in the It\^o or Stratonovich sense) has led to significant success in modeling and analysis…

Empirical studies have identified a range of learnability biases and limitations of transformers, such as a persistent difficulty in learning to compute simple formal languages such as PARITY, and a bias towards low-degree functions.…

We separate the criticisms of Hodges \cite{Hodges2005} and others into those against the algorithm itself and those against its physical implementation. We then point out that {\em all} those against the algorithm are either misleading or…

Despite their proficiency in various language tasks, Large Language Models (LLMs) struggle with combinatorial problems like Satisfiability, Traveling Salesman Problem, or even basic arithmetic. We address this gap through a novel trial &…

Different from the view that information is objective reality, this paper adopts the idea that all information needs to be compiled by the interpreter before it can be observed. From the traditional complexity definition, this paper defines…

Alternation of forward and backward analyses is a standard technique in abstract interpretation of programs, which is in particular useful when we wish to prove unreachability of some undesired program states. The current state-of-the-art…

We propose an experiment that allows one to test the Einstein's intuitive objection to Bohr's quantum mechanics (QM), which was that if QM is correct, then there should be a nonlocality related to the collapse of a single-particle…

Years ago Edwards proposed a thermodynamic description of dense granular matter, in which the grains (the `atoms' of the system) interact with inelastic forces. The approach is intriguing but is not justified from first principles, and…

Transformers, especially the decoder-only variants, are the backbone of most modern large language models; yet we do not have much understanding of their expressive power except for the simple $1$-layer case. Due to the difficulty of…