Related papers: OSTRICH2: Solver for Complex String Constraints
Strings are a natural representation of biological data such as DNA, RNA and protein sequences. The problem of finding a string that summarizes a set of sequences has direct application in relative compression algorithms for genome and…
This review summarizes the recent developments in topological string theory from the author's perspective, mostly focused on aspects of research in which the author is involved. After a brief overview of the theory, we discuss two aspects…
We study spiky string solutions in AdS3 x S1 that are characterized by two spins S,J as well as winding m in S1 and spike number n. We construct explicitly two-cut solutions by using the SL(2) asymptotic Bethe Ansatz equations at leading…
This is the second in a series of papers which consider the orbifolds of permutation-type as candidates for new physical string systems at higher central charge. In the first paper, I worked out the extended actions of the twisted sectors…
We use integrability to construct the general classical splitting string solution on R x S^3. Namely, given any incoming string solution satisfying a necessary self-intersection property at some given instant in time, we use the…
Consensus problems for strings and sequences appear in numerous application contexts, ranging from bioinformatics over data mining to machine learning. Closing some gaps in the literature, we show that several fundamental problems in this…
We study the quantum Bethe ansatz equations in the O(2n) sigma-model for hysical particles on a circle, with the interaction given by the Zamolodchikovs' S-matrix, in view of its application to quantization of the string on the S^{2n-1} x…
Edit-based approaches have recently shown promising results on multiple monolingual sequence transduction tasks. In contrast to conventional sequence-to-sequence (Seq2Seq) models, which learn to generate text from scratch as they are…
Constraint answer set programming integrates answer set programming with constraint processing. System EZSMT+ is a constraint answer set programming tool that utilizes satisfiability modulo theory solvers for search. Its theoretical…
Even at tree level, the first quantized string theory suffers from apparent short distance singularities associated with collision of vertex operators that prevent us from straightforward numerical computation of various quantities.…
An explicitly exact superconformal description is provided to some classes of Type II string theories in non constant RR backgrounds. This is done by applying the manifest (2,2) approach of Berkovits and Maldacena to Type II strings and by…
We formulate matrix string models on a class of exact string backgrounds with non constant RR-flux parameterized by a holomorphic prepotential function and with manifest (2,2) supersymmetry. This lifts these string theories to M-theory…
Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal specification language for symbolic control, due to its expressiveness and closeness to natural language. Furthermore, STL specifications can be encoded as…
With the rapid advancement of decentralized applications, smart contract security faces severe challenges, particularly regarding atomicity violations in complex logic such as Oracle and NFT contracts. Rigid rule sets often limit…
Structured outputs are essential for large language models (LLMs) in critical applications like agents and information extraction. Despite their capabilities, LLMs often generate outputs that deviate from predefined schemas, significantly…
The recent success of CLIP has demonstrated promising results in zero-shot semantic segmentation by transferring muiltimodal knowledge to pixel-level classification. However, leveraging pre-trained CLIP knowledge to closely align text…
String covers are a powerful tool for analyzing the quasi-periodicity of 1-dimensional data and find applications in automata theory, computational biology, coding and the analysis of transactional data. A \emph{cover} of a string $T$ is a…
Constraint satisfaction problems have been studied in numerous fields with practical and theoretical interests. In recent years, major breakthroughs have been made in a study of counting constraint satisfaction problems (or #CSPs). In…
This paper describes an ongoing effort to develop an optimizing version of the Eldarica Horn solver. The work starts from the observation that many kinds of optimization problems, and in particular the MaxSAT/SMT problem, can be seen as…
Rapid technological advances are inherently linked to the increased amount of data, a substantial portion of which can be interpreted as data stream, capable of exhibiting the phenomenon of concept drift and having a high imbalance ratio.…