QQCWB

GV

Arxiv:2102.09768V1 [Cs.Ai] 19 Feb 2024

Di: Ava

Identifying optimal basic feasible solutions to linear programming problems is a critical task for mixed integer programming and other applications. The crossover method, which aims at deriving an optimal extreme point from a suboptimal solution (the output of a starting method such as interior-point methods or first-order methods), is crucial in this process. This

Nuclear decays with simultaneous emission of two alpha particles are energetically possible for a number of nuclides. Prospects of searching for such kind of decay for nuclides present in the natural isotopic composition of elements are discussed here. The first experimental limit on half-life for 2alpha decay is set for 209Bi as T1/2 > 2.9e20 y at 90% C.L., Despite significant advances in the field of freeform optical design, there still remain various unsolved problems. One of these is the design of smooth, shallow freeform topologies, consisting of multiple convex, concave and saddle shaped regions, in order to generate a prescribed illumination pattern. Such freeform topologies are relevant in the context

arXiv:2306.04802v3 [cs.AI] 19 Feb 2024

[2102.08457] Constraints on power law cosmology from cosmic chronometer ...

License: arXiv.org perpetual non-exclusive license arXiv:2502.03438v1 [cs.AI] 05 Feb 2025 Is more novel research always desirable? We develop a model in which knowledge shapes society’s policies and guides the search for discoveries. Researchers select a question and how intensely to study it. The novelty of a question determines both the value and difficulty of discovering its answer. We show that the benefits of discoveries are nonmonotone Suppose G is a finite group acting on an Abelian variety A such that the coarse moduli space A/G is smooth. Using the recent classification result due to Auffarth, Lucchini Arteche, and Quezada, we construct an orbifold semiorthogonal decomposition for D[A/G] provided G = T ⋊ H with T a subgroup of translations and H is a subgroup of group

1 INTRODUCTION Automated theorem proving has been a long-standing goal in AI (Newell & Simon, 1956). Recent research explores leveraging large language models (LLMs) to generate formal proofs that can be verified in formal proof systems like Lean (de Moura et al., 2015), opening a new avenue to theo-rem proving (Li et al., 2024). This promising approach has

Abstract page for arXiv paper 2102.11196: Micro-local analysis of contact Anosov flows and band structure of the Ruelle spectrum Abstract. We investigate the integration of Large Language Models (LLMs) into query encoders to improve dense retrieval without increas-ing latency and cost, by circumventing the dependency on LLMs at infer-ence time. SoftQE incorporates knowledge from LLMs by mapping em-beddings of input queries to those of the LLM-expanded queries. While improvements over various strong

arXiv:2402.12001v1 [cs.AI] 19 Feb 2024 A Survey on Extractive Knowledge Graph Summarization: Applications, Approaches, Evaluation, and Future Directions

arXiv:2102.06941 (math) [Submitted on 13 Feb 2021 (v1), last revised 2 Dec 2024 (this version, v4)] Existential rank and essential dimension of diophantine sets Nicolas Daans, Philip Dittmann, Arno Fehm In odd dimensions the integrated conformal anomaly is entirely due to the boundary terms \\cite{Solodukhin:2015eca}. In this paper we present a detailed analysis of the anomaly in five dimensions. We give the complete list of the boundary conformal invariants that exist in five dimensions. Additionally to 8 invariants known before we find a new conformal

Temporal modelling is the key for efficient video action recognition. While understanding temporal information can improve recognition accuracy for dynamic actions, removing temporal redundancy and reusing past features can significantly save computation leading to efficient action recognition. In this paper, we introduce an adaptive temporal fusion

arXiv:2402.12001v1 [cs.AI] 19 Feb 2024

We construct a minimal dynamical system of mean dimension equal to $1$, which can be embedded in the shift action on the Hilbert cube $[0,1]^\\mathbb{Z}$. This clarifies a seemingly plausible impression about embedding possibility in relation to mean dimension. Our result finally leads to a full understanding of a pair of exact ranges of all the possible values of arXiv:2402.12074v1 [cs.AI] 19 Feb 2024 HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph

Since two people came down a county of north Seattle with positive COVID-19 (coronavirus-19) in 2019, the current total cases in the United States (U.S.) are over 12 million. Predicting the pandemic trend under effective variables is crucial to help find a way to control the epidemic. Based on available literature, we propose a validated Vector Autoregression (VAR) arXiv:2308.06032v4 [cs.AI] 22 Feb 2024 Large Language Models in Cryptocurrency Securities Cases: Can a GPT Model Meaningfully Assist Lawyers? From ancient to modern times, acoustic structures have been used to control the propagation of acoustic waves. However, the design of the acoustic structures has remained widely a time-consuming and computational resource-consuming iterative process. In recent years, Deep Learning has attracted unprecedented attention for its ability to tackle hard

Abstract page for arXiv paper 2102.01787: A negative answer to Ulam’s Problem 19 from the Scottish Book

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method Rahul Vishwakarma and Subhankar Mishra Abstract page for arXiv paper 2102.13124: Shear-shape cocycles for measured laminations and ergodic theory of the earthquake flow

Terahertz polarizers are essential for advanced spectroscopic systems but face challenges like low transmission, short bandwidths and low extinction ratios. This study demonstrates the development of ultrabroadband THz polarizers using nanoimprint lithography, achieving high performance through double-wire-grid polarizer (DWGP) structures on cyclic Abstract page for arXiv paper 2102.12461: MAPFAST: A Deep Algorithm Selector for Multi Agent Path Finding using Shortest Path Embeddings

arXiv:2502.11357v2 [cs.AI] 19 Feb 2025 Explorer: Scaling Exploration-driven Web Trajectory Synthesis for Multimodal Web Agents Abstract page for arXiv paper 2102.06635: ReLU Neural Networks of Polynomial Size for Exact Maximum Flow Computation arXiv:2402.12001v1 [cs.AI] 19 Feb 2024 A Survey on Extractive Knowledge Graph Summarization: Applications, Approaches, Evaluation, and Future Directions

Urban traffic is subject to disruptions that cause extended waiting time and safety issues at signalized intersections. While numerous studies have addressed the issue of intelligent traffic systems in the context of various disturbances, traffic signal malfunction, a common real-world occurrence with significant repercussions, has received comparatively limited attention. arXiv:2312.08935v3 [cs.AI] 19 Feb 2024 MATH-SHEPHERD: VERIFY AND REINFORCE LLMS STEP-BY-STEP WITHOUT HUMAN ANNOTATIONS

1Graduate Institute of Astronomy, National Central University, Jhongli 32001, Taiwan 2College of General Studies, Yuan-Ze University, Chung-Li 32003, Taiwan 3American Association of Variable Star Observers (AAVSO), Cambridge, MA, USA 4Vereniging Voor Sterrenkunde (VVS), Oostmeers 122 C, 8000 Brugge, Belgium 5Bundesdeutsche

adopted in these various applications. Unfortunately, this assumption is often invalid and there is often a strong need for AI systems to explain their recommendations or so-lutions to human users, as evidenced by the large body of literature on Explainable AI (XAI) (Gun-ning, Stefik, Choi, Miller, Stumpf, & Yang, 2019; Miller, 2019; Sreedharan

arXiv:2102.03019 (math) [Submitted on 5 Feb 2021 (v1), last revised 18 Jul 2024 (this version, v3)] Interpolation by maximal and minimal surfaces Rukmini Dey, Rahul Kumar Singh 1Universite Paris-Saclay, CNRS/IN2P3, IJCLab, 91405 Orsay, France 2Universita di Napoli \Federico II“, Complesso Universitario di Monte S.Angelo, I-80126 Napoli, Italy 3Artemis, Universite C^ote d’Azur, Observatoire C^ote d’Azur, CNRS, F-06304 Nice, France 4INFN, Sezione di Roma, I-00185 Roma, Italy 5Laboratoire Kastler Brossel, Sorbonne Universite, arXiv:2502.13516v1 [cs.AI] 19 Feb 2025 SPPD: Self-training with Process Preference Learning Using Dynamic Value Margin

Instance segmentation has gained recently huge attention in various computer vision applications. It aims at providing different IDs to different object of the scene, even if they belong to the same class. This is useful in various scenarios, especially in occlusions. Instance segmentation is usually performed as a two-stage pipeline. First, an object is detected, then arXiv:2402.17546v1 [cs.AI] 27 Feb 2024 COCOA: CBT-based Conversational Counseling Agent using Memory Specialized in Cognitive Distortions and Dynamic Prompt

We identify points of difference between Invariant Set Theory and standard quantum theory, and show that these lead to noticeable differences in predictions between the two theories. We design a number of experiments to test which of these predictions corresponds to our world. If these experiments were undertaken, they would allow us to investigate whether

Ethics Statement In this paper, we contribute to the future devel-opment of a safe and reliable AI community by conducting research focused on reducing hallucina-tions in Large Vision-Language Models (Xie et al., 2024; Manevich and Tsarfaty, 2024).