相关论文: Computability Superselection Rule and its physical…
Recently, a longitudinal sum rule for the electric polarizability of nuclei was used to revise a relativistic correction in a dipole sum rule for the polarizability (nucl-th/9802011). This revision is shown to be wrong because of neglecting…
This has been withdrawn by the author. A rewrite of some of the material is currently in progress.
This paper shows that the basic logic induced by the parallel recurrence of Computability Logic is a proper superset of the basic logic induced by the branching recurrence. The latter is known to be precisely captured by the cirquent…
I comment on Zaccone, Phys. Rev. Lett. {\bf 128}, 028002 (2022) highlighting a flaw in the derivation that led to a spurious divergent factor. This renders the derivation of the random close packing density invalid.
Withdrawn by author. This paper was mistakenly submitted twice (See nucl-th/0604008)
This paper has been withdrawn because it is superseded by quant-ph/9905084 "Bayesian analysis of Bell inequalities.
The Bell inequalities can be violated by postselecting on the results of a measurement of the Bell states. If information about the original state preparation is available, we point out how the violation can be reproduced classically by…
Machine learning plays a role in many deployed decision systems, often in ways that are difficult or impossible to understand by human stakeholders. Explaining, in a human-understandable way, the relationship between the input and output of…
Sequential hypothesis testing asks for decision rules that update as data arrive. A natural goal is \emph{eventual correctness}: the rule may change its mind early on, but it should make only finitely many wrong decisions almost surely.…
This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at…
Ranking is a fundamental operation in information access systems, to filter information and direct user attention towards items deemed most relevant to them. Due to position bias, items of similar relevance may receive significantly…
This paper as been withdrawn. This paper as been withdrawn. This paper as been withdrawn. This paper as been withdrawn. This paper as been withdrawn. This paper as been withdrawn.
Explanations play a variety of roles in various recommender systems, from a legally mandated afterthought, through an integral element of user experience, to a key to persuasiveness. A natural and useful form of an explanation is the…
Computability logic is a formal theory of (interactive) computability in the same sense as classical logic is a formal theory of truth. This approach was initiated very recently in "Introduction to computability logic" (Annals of Pure and…
Machine learning is facing a 'reproducibility crisis' where a significant number of works report failures when attempting to reproduce previously published results. We evaluate the sources of reproducibility failures using a meta-analysis…
Replication of experimental results has been a challenge faced by many scientific disciplines, including the field of machine learning. Recent work on the theory of machine learning has formalized replicability as the demand that an…
Withdrawn due to extensions and submission as another paper.
We point out that the recursive formula that appears in Erickson's presentation "Fusible Numbers" is incorrect, and pose an alternate conjecture about the structure of fusible numbers. Although we are unable to solve the conjecture, we…
The paper has been withdrawn due to very low reproducibility. About 100 samples have been made, only 3 samples show the superconducting-like behavior. We think it may be an unlikely result.
In this paper, we reproduce the experimental results presented in our previous work titled "Making Users Indistinguishable: Attribute-wise Unlearning in Recommender Systems," which was published in the proceedings of the 31st ACM…