arXiv research

Statistical model checking for PCTL on MDPs using reinforcement learning.

Research aims to make fact-checking models more transparent.

We give a definition of an integer-valued function $\sum_i α_i x ^*_i$ derived from arrow diagrams for the ambient isotopy classes of oriented spherical curves. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the arrow diagrams with at most $l$ arrows, called relators of Type~($\check{…

Social networks are getting closer to our real physical world. People share the exact location and time of their check-ins and are influenced by their friends. Modeling the spatio-temporal behavior of users in social networks is of great importance for predicting the future behavior of users, controlling the users' mov…

Time-aware fact-checking improves veracity predictions for time-sensitive claims.

DC-Check helps guide ML development by considering data-centric aspects.

This paper deforms complex tori and their mirrors using gerbes.

The choice of model class is fundamental in statistical learning and system identification, no matter whether the class is derived from physical principles or is a generic black-box. We develop a method to evaluate the specified model class by assessing its capability of reproducing data that is similar to the observed…

Next point-of-interest (POI) recommendation aims to offer suggestions on which POI to visit next, given a user's POI visit history. This problem has a wide application in the tourism industry, and it is gaining an increasing interest as more POI check-in data become available. The problem is often modeled as a sequenti…

Paper verifies RNNs using automata learning and model checking.

New method evaluates language model forecasters by checking consistency of predictions.

This paper enhances privacy in statistical model checking of cyber-physical systems.

The paper proposes a method to evaluate superhuman models by checking for logical inconsistencies.

The chapter improves deep learning models by interpreting and improving their performance.

New research shows calibration error is flawed when dealing with model uncertainty.

Scalable model checking for stochastic systems using Gaussian Processes and Bayesian Neural Networks.

Reliability is a critical consideration to DL-based systems. But the statistical nature of DL makes it quite vulnerable to invalid inputs, i.e., those cases that are not considered in the training phase of a DL model. This paper proposes to perform data sanity check to identify invalid inputs, so as to enhance the reli…

Proves SYZ mirror symmetry for del Pezzo and rational elliptic surfaces.

We describe the infinitesimal moduli space of pairs $(Y, V)$ where $Y$ is a manifold with $G_2$ holonomy, and $V$ is a vector bundle on $Y$ with an instanton connection. These structures arise in connection to the moduli space of heterotic string compactifications on compact and non-compact seven dimensional spaces, e.…

By the SYZ construction, a mirror pair $(X,\check{X})$ of a complex torus $X$ and a mirror partner $\check{X}$ of the complex torus $X$ is described as the special Lagrangian torus fibrations $X \rightarrow B$ and $\check{X} \rightarrow B$ on the same base space $B$. Then, by the SYZ transform, we can construct a simpl…

We prove the following result announced in Todorov and Valov: Any homogeneous, metric $ANR$-continuum is a $V^n_G$-continuum provided $\dim_GX=n\geq 1$ and $\check{H}^n(X;G)\neq 0$, where $G$ is a principal ideal domain. This implies that any homogeneous $n$-dimensional metric $ANR$-continuum with $\check{H}^n(X;G)\neq…

We specify a result of Yokoi \cite{yo} by proving that if $G$ is an abelian group and $X$ is a homogeneous metric $ANR$ compactum with $\dim_GX=n$ and $\check{H}^n(X;G)\neq 0$, then $X$ is an $(n,G)$-bubble. This implies that any such space $X$ has the following properties: $\check{H}^{n-1}(A;G)\neq 0$ for every closed…

Paper checks SSC for matrix factorizations using Gurobi.

Study how past radiation determines present matter in Penrose's cyclic cosmology.

Recent work has explored how to train machine learning models which do not discriminate against any subgroup of the population as determined by sensitive attributes such as gender or race. To avoid disparate treatment, sensitive attributes should not be considered. On the other hand, in order to avoid disparate impact,…

We study the Yamabe invariants of cylindrical manifolds and compact orbifolds with a finite number of singularities, by means of conformal geometry and the Atiyah-Patodi-Singer $L^2$-index theory. For an $n$-orbifold $M$ with singularities $Σ_Γ = \{(\check{p}_1, Γ_1), ..., (\check{p}_s, Γ_s)\}$ (where each group $Γ_j<O…

Study combines SEM, OLS, and DML for robustness checks in survey-based research.

For an immersed Lagrangian submanifold, let $\check{A}$ be the Lagrangian trace-free second fundamental form. In this note we consider the equation $\nabla^*T=0$ on Lagrangian surfaces immersed in $\mathbb{C}^2$, where $T=-2\nabla^*(\check{A}\lrcornerω)$, and we prove a gap theorem for the Whitney sphere as a solution …

Constructing brane quantization for $A_n$-resolutions using SYZ mirror symmetry.

We present FAKTA which is a unified framework that integrates various components of a fact checking process: document retrieval from media sources with various types of reliability, stance detection of documents with respect to given claims, evidence extraction, and linguistic analysis. FAKTA predicts the factuality of…

A machine-checked Itô calculus for Brownian motion on $[0,T]$

SMC analysis reveals key transient effects in macroeconomic ABM.

Randomly initialized networks can perform as well as pruned networks.

In this paper, we investigate the properties of the full colored HOMFLYPT invariants in the full skein of the annulus $\mathcal{C}$. We show that the full colored HOMFLYPT invariant has a nice structure when $q\rightarrow 1$. The composite invariant is a combination of the full colored HOMFLYPT invariants. In order to …

SOAK assesses data subset similarity for better model training.

The paper improves SBI for BHMs by diagnosing misspecification and inferring parameters.

In a recent paper in this journal [J. Stat. Mech. (2009) P02037] we proposed a new, physically motivated, distribution function for modeling individual incomes having its roots in the framework of the k-generalized statistical mechanics. The performance of the k-generalized distribution was checked against real data on…

We propose a novel approach for analysis of the composition of an equity mutual fund based on the time series decomposition of the price movements of the individual stocks of the fund. The proposed scheme can be applied to check whether the style proclaimed for a mutual fund actually matches with the fund composition. …

We give an infinite dimensional description of the differential K-theory of a manifold $M$. The generators are triples $[H, A, ω]$ where $H$ is a ${\bf Z}_2$-graded Hilbert bundle on $M$, $A$ is a superconnection on $H$ and $ω$ is a differential form on $M$. The relations involve eta forms. We show that the ensuing gro…

We contribute the largest publicly available dataset of naturally occurring factual claims for the purpose of automatic claim verification. It is collected from 26 fact checking websites in English, paired with textual sources and rich metadata, and labelled for veracity by human expert journalists. We present an in-de…

New diagnostic method detects misspecified models in inverse PDE problems.

Paper proposes methods to learn accurate models from incomplete data without imputation.

Researchers found PP-GANs can hide sensitive data in sanitized images, undermining privacy checks.

Paper develops a model for verifying facts in tables without pre-retrieved evidence.

With the availability of vast amounts of user visitation history on location-based social networks (LBSN), the problem of Point-of-Interest (POI) prediction has been extensively studied. However, much of the research has been conducted solely on voluntary checkin datasets collected from social apps such as Foursquare o…

Developed a machine-checked Itô calculus for Brownian motion.

Heterotic string compactifications on integrable $G_2$ structure manifolds $Y$ with instanton bundles $(V,A), (TY,\tildeθ)$ yield supersymmetric three-dimensional vacua that are of interest in physics. In this paper, we define a covariant exterior derivative $\cal D$ and show that it is equivalent to a heterotic $G_2$ …

Let $(X^n, \check{X}^n)$ be a mirror pair of an $n$-dimensional complex torus $X^n$ and its mirror partner $\check{X}^n$. Then, a simple projectively flat bundle $E(L,\mathcal{L})\rightarrow X^n$ is constructed from each affine Lagrangian submanifold $L$ in $\check{X}^n$ with a unitary local system $\mathcal{L} \righta…