Related papers: Models of the Chisholm set
We review the E(8) model of the M-theory 3-form and its applications to anomaly cancellation, Gauss laws, quantization of Page charge, and the 5-brane partition function. We discuss the potentially problematic behavior of the model under…
We have published several articles about generalizations and boundary-case exceptions to the Second Incompleteness Theorem during the last 25 years. The current paper will review some of our prior results and also introduce an `enriched'…
We consider the problem of estimating counterfactual quantities when prior knowledge is available in the form of disjunctive statements. These include disjunction of conditions (e.g., "the patient is more than 60 years of age") as well as…
Counterfactual explanations can be obtained by identifying the smallest change made to a feature vector to qualitatively influence a prediction; for example, from 'loan rejected' to 'awarded' or from 'high risk of cardiovascular disease' to…
Machine learning can greatly benefit from providing learning algorithms with pairs of contrastive training examples -- typically pairs of instances that differ only slightly, yet have different class labels. Intuitively, the difference in…
We precisely characterize the relationships between the reverse H\"older inequality, the Fujii-Wilson condition, the B\'ekoll\'e-Bonami $\mathrm{B}_p$ condition, the $\mathrm{B}_\infty$ condition, and the reverse Jensen inequality, for…
This paper provides some counterexamples to Cantor's contributions to the foundations of Set Theory. The first counterexample forces Cantor's Diagonal Method (DM) to yield one of the numbers in the target list. To study this anomaly, and…
The same method that creates adversarial examples (AEs) to fool image-classifiers can be used to generate counterfactual explanations (CEs) that explain algorithmic decisions. This observation has led researchers to consider CEs as AEs by…
This note extends conformal e-prediction to cover the case where there is observed confounding between the random object $X$ and its label $Y$. We consider both the case where the observed data is IID and a case where some dependence…
Given the fact description text of a legal case, legal judgment prediction (LJP) aims to predict the case's charge, law article and penalty term. A core problem of LJP is how to distinguish confusing legal cases, where only subtle text…
We discuss a construction that gives counterexamples to various questions of unique determination of convex bodies.
We present a novel formalization of counterfactual conditionals in a quantified modal logic. Counterfactual conditionals play a vital role in ethical and moral reasoning. Prior work has shown that moral reasoning systems (and more…
We show that the following generalized version of Korn's second inequality with nonconstant measurable matrix valued coefficients P ||DuP+(DuP)^T||_q+||u||_q >= c ||Du||_q for u in W_0^{1,q}({\Omega};R^3), 1<q<{\infty} is in general false,…
In this paper, we give a simple counter example to the famous Hodge conjecture.
A counter example to the main result has been communicated to the author by Matei Toma.
In this short note we present a family of counterexamples to the King's conjecture.
We present a few charge distributions for which the application of Gauss' law in its integral form, as typically outlined in standard textbooks, results in a contradiction. We identify the root cause of such contradictions and put forward a…
The basic system E of dyadic deontic logic proposed by {\AA}qvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E from a proof-theoretical viewpoint. We propose a…
Counterfactual explanations are attracting significant attention due to the flourishing applications of machine learning models in consequential domains. A counterfactual plan consists of multiple possibilities to modify a given instance so…
Despite their enormous predictive power, machine learning models are often unsuitable for applications in regulated industries such as finance, due to their limited capacity to provide explanations. While model-agnostic frameworks such as…