arXiv research

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

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

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 …

The paper extends bubble concept to other functors.

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…

New method predicts nonfactuality in LLM responses using semantic isotropy.

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…

Predicting the runtime complexity of a programming code is an arduous task. In fact, even for humans, it requires a subtle analysis and comprehensive knowledge of algorithms to predict time complexity with high fidelity, given any code. As per Turing's Halting problem proof, estimating code complexity is mathematically…

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…

Financial markets show a number of non-stationarities, ranging from volatility fluctuations over ever changing technical and regulatory market conditions to seasonalities. On the other hand, financial markets show various stylized facts which are remarkably stable. It is thus an intriguing question to find out how thes…

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…

This paper evaluates knowledge graph completion models under the open-world assumption, revealing unexpected behavior of metrics.

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 …

The study connects periodic surface homeomorphisms to contact structures using rational open books.

Proposes overnight volatility model for better market dynamics.

We conjecture a relation between the sl(N) knot homology, recently introduced by Khovanov and Rozansky, and the spectrum of BPS states captured by open topological strings. This conjecture leads to new regularities among the sl(N) knot homology groups and suggests that they can be interpreted directly in topological st…

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

Following the suggestion of arXiv:1407.6319 to lift the knot polynomials for virtual knots and links from Jones to HOMFLY, we apply the evolution method to calculate them for an infinite series of twist-like virtual knots and antiparallel 2-strand links. Within this family one can check topological invariance and under…

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…

Homotopy equivalence shown between complex and thickened versions of manifolds.

We propose localization techniques for computing Gromov-Witten invariants of maps from Riemann surfaces with boundaries into a Calabi-Yau, with the boundaries mapped to a Lagrangian submanifold. The computations can be expressed in terms of Gromov-Witten invariants of one-pointed maps. In genus zero, an equivariant ver…

FinReflectKG builds a comprehensive financial knowledge graph from SEC filings, improving extraction quality.

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.

Improved text summarization using belief propagation on weighted bipartite graphs.

LLMs will inevitably hallucinate due to their mathematical structure.

Open manifolds with nonnegative Ricci curvature and Euclidean volume growth have finitely generated fundamental groups.

LLMs can be tricked into recalling facts based on context clues.

SAGE improves memory efficiency by selectively adding, merging, or ignoring new facts.

PyOD is an open-source Python toolbox for performing scalable outlier detection on multivariate data. Uniquely, it provides access to a wide range of outlier detection algorithms, including established outlier ensembles and more recent neural network-based approaches, under a single, well-documented API designed for us…

For a smooth, closed $n$-manifold $M$, we define an upper semi-continuous integer-valued complexity function on $H^1(M;{\mathbb R})$ using Morse theory. This measures how far an integral class is from being a fiber of a fibration. The fact complexity minimisers are open generalises Tischler's result on the openness of …

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.