arXiv research

Research aims to make fact-checking models more transparent.

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

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…

The article describes our submission to SemEval 2019 Task 8 on Fact-Checking in Community Forums. The systems under discussion participated in Subtask A: decide whether a question asks for factual information, opinion/advice or is just socializing. Our primary submission was ranked as the second one among all participa…

We propose a novel method for fact-checking on knowledge graphs based on debate dynamics. The underlying idea is to frame the task of triple classification as a debate game between two reinforcement learning agents which extract arguments -- paths in the knowledge graph -- with the goal to justify the fact being true (…

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

We present SemEval-2019 Task 8 on Fact Checking in Community Question Answering Forums, which features two subtasks. Subtask A is about deciding whether a question asks for factual information vs. an opinion/advice vs. just socializing. Subtask B asks to predict whether an answer to a factual question is true, false or…

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…

Online social networking sites are experimenting with the following crowd-powered procedure to reduce the spread of fake news and misinformation: whenever a user is exposed to a story through her feed, she can flag the story as misinformation and, if the story receives enough flags, it is sent to a trusted third party …

Historical daily data for eleven years of the fifty constituent stocks of the NIFTY index traded on the National Stock Exchange have been analyzed to check for the stylized facts in the Indian market. It is observed that while some stylized facts of other markets are also observed in Indian market, there are significan…

Developed a neural topic model for classifying COVID-19 disinformation.

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 exploiting standard facts about $N=1$ and $N=2$ supersymmetric Yang-Mills theory, the Donaldson invariants of four-manifolds that admit a Kahler metric can be computed. The results are in agreement with available mathematical computations, and provide a powerful check on the standard claims about supersymmetric Yang…

The paper examines circle graphs of Gauss diagrams and finds counterexamples to previous descriptions.

We investigate the rigidity and asymptotic properties of quantum SU(2) representations of mapping class groups. In the spherical braid group case the trivial representation is not isolated in the family of quantum SU(2) representations. In particular, they may be used to give an explicit check that spherical braid grou…

The topological underpinnings are presented for a new algorithm which answers the question: `Is a given knot the unknot?' The algorithm uses the braid foliation technology of Bennequin and of Birman and Menasco. The approach is to consider the knot as a closed braid, and to use the fact that a knot is unknotted if and …

We study coordinate-invariance of some asymptotic invariants such as the ADM mass or the Chruściel-Herzlich momentum, given by an integral over a "boundary at infinity". When changing the coordinates at infinity, some terms in the change of integrand do not decay fast enough to have a vanishing integral at infinity; bu…

When modelling stock market dynamics, the price formation is often based on an equilbrium mechanism. In real stock exchanges, however, the price formation is goverend by the order book. It is thus interesting to check if the resulting stylized facts of a model with equilibrium pricing change, remain the same or, more g…

We introduce a new model in order to describe the fluctuation of tick-by-tick financial time series. Our model, based on marked point process, allows us to incorporate in a unique process the duration of the transaction and the corresponding volume of orders. The model is motivated by the fact that the "excitation" of …

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{…

Multifractal analysis and extensive statistical tests are performed upon intraday minutely data within individual trading days for four stock market indexes (including HSI, SZSC, S&P500, and NASDAQ) to check whether the indexes (instead of the returns) possess multifractality. We find that the mass exponent $τ(q)$ is l…

This paper studies the problem of stance detection which aims to predict the perspective (or stance) of a given document with respect to a given claim. Stance detection is a major component of automated fact checking. As annotating stances in different domains is a tedious and costly task, automatic methods based on ma…

Two geometric tests for forward-flatness are shown to be dual.

This is the first of three articles on the Fibered Isomorphism Conjecture of Farrell and Jones for L-theory. We apply the general techniques developed in [15] and [16] to the L-theory case of the conjecture and prove several results. Here we prove the conjecture, after inverting 2, for poly-free groups. In particular, …

This paper deforms complex tori and their mirrors using gerbes.

Statistical model checking for PCTL on MDPs using reinforcement learning.

LLMs will inevitably hallucinate due to their mathematical structure.

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

We present a study on predicting the factuality of reporting and bias of news media. While previous work has focused on studying the veracity of claims or documents, here we are interested in characterizing entire news media. These are under-studied but arguably important research problems, both in their own right and …

Cost-effective method detects language model hallucinations.

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

Low-density parity-check codes, a class of capacity-approaching linear codes, are particularly recognized for their efficient decoding scheme. The decoding scheme, known as the sum-product, is an iterative algorithm consisting of passing messages between variable and check nodes of the factor graph. The sum-product alg…

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…

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…

Program synthesis is the task of automatically generating a program consistent with a specification. Recent years have seen proposal of a number of neural approaches for program synthesis, many of which adopt a sequence generation paradigm similar to neural machine translation, in which sequence-to-sequence models are …

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.

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

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

IQ-BART models conditional quantiles using a non-parametric Bayesian approach.

Physical systems are modelled and investigated within simulation software in an increasing range of applications. In reality an investigation of the system is often performed by empirical test scenarios which are related to typical situations. Our aim is to derive a method which generates diverse test scenarios each re…

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…

Physical foundations for relativistic spacetimes are revisited, in order to check at what extent Finsler spacetimes lie in their framework. Arguments based on inertial observers (as in the foundations of Special Relativity and Classical Mechanics) are shown to correspond with a double linear approximation in the measur…

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…

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 …

Paper verifies RNNs using automata learning and model checking.

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…