arXiv research

FAKTA automates fact checking across media sources.

Research aims to make fact-checking models more transparent.

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

Ranked second in fact-checking task, using DRR NN with embeddings.

Task focuses on fact checking in Q&A forums, improving over baseline systems.

We create a large dataset for fact checking claims and improve prediction accuracy.

A novel fact-checking method using debate dynamics on knowledge graphs.

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

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 …

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

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 …

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…

New functions derived from arrow diagrams for spherical curves, invariant under certain deformations.

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.

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 …

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

Cost-effective method detects language model hallucinations.

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…

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

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 …

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…

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.

A simple fix helps saliency methods pass sanity checks.

The paper proposes a tool to detect invalid inputs in DL models.

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

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

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…

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

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…

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…

SANST uses self-attentive networks with spatial and temporal embeddings for better POI recommendations.