搜索结果：until

Agentic retrieval-augmented generation (RAG) systems in complex B2B (business-to-business) settings may often receive free-form response feedback. Rather than generic feedback signals such as style, preference, or overall response quality, we focus on actionable factual corrections. We identify these instances and convert them into compact knowledge-base entries, which we call factual nuggets. We introduce Iterative Nugget Optimization (INO), an index-time optimization method that uses the production agentic RAG as a test harness: it creates an initial nugget, probes it with the triggering query and paraphrases, reflects over failed retrieval and answer traces, and revises the nugget until it is discoverable. We evaluate INO with two production B2B knowledge-assistance agents across multiple companies that use our system: a product support agent that answers questions over company-specific knowledge bases, and a support ticket agent that assists support engineers. INO consistently improves results over baselines in terms of discoverability and usage of factual corrections, in automated and human evaluations.

Gravitational-wave (GW) detections by the LIGO-Virgo-KAGRA (LVK) observatories suggest multiple formation channels for GW compact binary mergers. Here I assess the role of young massive clusters (YMC) evolving into old open clusters (OC) -- the YMC/OC channel -- to the GW merger population. A homogeneous grid of 90 N-body evolutionary model star clusters, spanning initial masses of $10^4M_\odot\leq M_{cl}(0)\leq10^5M_\odot$, half-mass radii of 1-3 pc, and metallicities between 0.0002-0.02 is computed with the direct, post-Newtonian N-body code NBODY7. The N-body simulations include primordial binaries, delayed stellar-remnant model forming black holes (BH) and neutron stars (NS), BH spin prescriptions, and GW recoil kicks, and they are evolved until BH depletion. Most GW mergers from the cluster models are dynamically assembled binary black holes (BBH) that merge within their host clusters. Merger mass ratios reach down to 0.1-0.2 despite an overall bias toward nearly symmetric pairs. The GW merger efficiency varies non-monotonically with cluster mass, peaking around $M_{cl}(0)=7.5\times10^4M_\odot$ and also for $M_{cl}(0)\leq3.0\times10^4M_\odot$. The computed mergers reproduce so

We show how to directly and efficiently approximate arbitrary one-qubit unitaries, bypassing the Euler decomposition and the magnitude approximation problem, at the cost of one ancillary qubit. Our technique also applies to approximating unitaries with multi-qubit gate sets such as Clifford and CS, or Clifford and CCZ, as well as to approximating orthogonal matrices using multi-qubit gate sets such as Real Clifford and CCZ. The key tools are repeat-until-success circuits, lattice-based exact synthesis algorithms, integer point enumeration in convex sets, and relative norm equations.

For a graph $G$ and vertices $u,v$, we define the ASUA of $v$, $t(G,v,u)$, to be the average steps until absorption along a random walk terminating at $u$. We define a sea dragon to be a tree with a unique path $P$ such that if $d(u) \geq 3$ for some vertex $u$, then $u \in V(P)$. We use Markov chains to determine $t(G,v,u)$ for all vertices of several classes of sea dragons, a broad subclass of trees. Additionally, we give several results on equations related to ASUAs on general graphs.

Whereas there is growing interest in exploring longer-term climate with overshoot, including tipping elements, beyond 2100, most Integrated Assessment Models (IAMs) generate emissions scenarios only till 2100. Here we propose a framework to extend scenarios until 2150 using an emulator of IAMs. Our framework offers a potential interim solution for developing very long-term scenarios, such as the Scenario Model Intercomparison Project (ScenarioMIP), circumventing the challenges of fully simulating IAMs beyond 2100.

Population III (Pop III) stars are the first stars in the Universe, forming from pristine, metal-free gas and marking the end of the cosmic dark ages. Their formation rate is expected to sharply decline after redshift $z \approx 15$ due to metal enrichment from previous generations of stars. In this paper, we analyze 14 zoom-in simulations from the THESAN-ZOOM project, which evolves different haloes from the THESAN-1 cosmological box down to redshift $z=3$. The high mass resolution of up to $142 M_\odot$ per cell in the gas phase combined with a multiphase model of the interstellar medium (ISM), radiative transfer including Lyman-Werner radiation, dust physics, and a non-equilibrium chemistry network that tracks molecular hydrogen, allows for a realistic but still approximate description of Pop III star formation in pristine gas. Our results show that Pop III stars continue to form in low-mass haloes ranging from $10^6 M_\odot$ to $10^9 M_\odot$ until the end of reionization at around $z=5$. At this stage, photoevaporation suppresses further star formation in these minihaloes, which subsequently merge into larger central haloes. Hence, the remnants of Pop III stars primarily reside

In nuclear collisions at relativistic energies, matter is created which resembles closely the matter that filled all space until about 15 microseconds after the big bang. Here we summarize selected aspects of the research that led to the establishment of this new sub-field of physics and briefly describe its current `state of the art' with emphasis on matter creation through thermal particle production. In particular, we will focus on particle production at low transverse momentum and explain how its analysis sheds light on one of the key open questions, i.e. what is the mechanism of hadronization of colored objects such as quarks and gluons.

Large Language Models (LLMs) and code agents in software development are rapidly evolving from generating isolated code snippets to producing full-fledged software applications with graphical interfaces, interactive logic, and dynamic behaviors. However, current benchmarks fall short in evaluating such production-ready software, as they often rely on static checks or binary pass/fail scripts, failing to capture the interactive behaviors and runtime dynamics that define real-world usability - qualities that only emerge when an application is actively used. This is the blind spot of current evaluation: you don't know if an app works until you click through it, interact with it, and observe how it responds. To bridge this gap, we introduce RealDevWorld, a novel evaluation framework for automated end-to-end assessment of LLMs' ability to generate production-ready repositories from scratch. It features two key components: (1) RealDevBench, a diverse collection of 194 open-ended software engineering tasks across multiple domains, incorporating multimodal elements to reflect real-world complexity; and (2) AppEvalPilot, a new agent-as-a-judge evaluation system that simulates realistic, GUI

Semi-structured (2:4) sparsity is a widely adopted pruning method in modern hardware and software ecosystems (e.g., NVIDIA Sparse Tensor Cores and PyTorch), achieving up to 2X faster inference and reduced memory footprint with negligible accuracy loss. It removes two out of every four contiguous weights, using permutations to ensure the largest-magnitude weights are retained. In this work, we show that this predictable mechanism can be exploited to design Silent Until Sparse (SUS), a novel compression-activated backdoor attack tailored to the 2:4 sparsity regime. SUS employs a two-phase training procedure that modifies (i) the weights that will be retained after pruning to embed the backdoor, and (ii) the weights that will be pruned to hide it in the dense model. SUS also provides formal guarantees that the attack will be successfully activated after sparsification. Experiments show that SUS is largely effective against semi-structured sparsification across both hardware-accelerated and software pipelines, outperforming existing compression-aware backdoor attacks, bypassing standard defenses, and even being robust to user-side fine-tuning.

We harness both human ingenuity and the power of symbolic computation to study the number of coin tosses until reaching $n$ Heads or $m$ Tails. We also talk about the closely related problem of reaching $n$ Heads and $m$ Tails. This paper is accompanied by a Maple package that enables fast computation of expectations, variances, and higher moments of these quantities.

Europe's largest bank by assets as of 2025 started out in the 1860s in one of Europe's colonies: The Hongkong and Shanghai Banking Co (HSBC). Multiple wars forced Qing China and later the young Republic of China into a series of unequal treaties, one of which was the forced legalisation of the opium trade from parts of the British Empire into China, another was opening several cities, including Shanghai, for trade and granting extensive civil, property and business rights to non-residents and yet another was the annexation of Hong Kong by the United Kingdom. These are the conditions that created HSBC and in which it thrived, including from opium-related profits. During periods of relative calm, the bank grew geographically and made profits -- whether in moral or unethical, whether in legal or unlawful ways -- which helped HSBC weather the storms of civil and world wars. Other aspects contributed to HSBC's survival and success, such as its global nature, which allowed it to diversify and shift away from regions when danger emerges there and find shelter in safer havens. Yet the resilient survival abilities and the financial success of HSBC until 1950 should not distract from the fac

We consider a discrete-time random walk on a line starting at $x_0\geq 0$ where a cost is incurred at each jump. We obtain an exact analytical formula for the distribution of the total cost of a trajectory until the process crosses the origin for the first time. The formula is valid for arbitrary jump distribution and cost function (heavy- and light-tailed alike), provided they are symmetric and continuous. We analyze the formula in different scaling regimes, and find a high degree of universality with respect to the details of the jump distribution and the cost function. Applications are given to the motion of an active run-and-tumble particle in one dimension and extensions to multiple cost variables are considered. The analytical results are in perfect agreement with numerical simulations.

We assess the skin thermal injury risk in the situation where a test subject is exposed to an electromagnetic beam until the occurrence of flight action. The physical process is modeled as follows. The absorbed electromagnetic power increases the skin temperature. Wherever it is above a temperature threshold, thermal nociceptors are activated and transduce an electrical signal. When the activated skin volume reaches a threshold, the flight signal is initiated. After the delay of human reaction time, the flight action is materialized when the subject moves away or the beam power is turned off. The injury risk is quantified by the thermal damage parameter calculated in the Arrhenius equation. It depends on the beam power density absorbed into the skin, which is not measurable. In addition, the volume threshold for flight initiation is unknown. To circumference these difficulties, we normalize the formulation and write the thermal damage parameter in terms of the occurrence time of flight action, which is reliably observed in exposure tests. This thermal injury formulation provides a viable framework for investigating the effects of model parameters.

Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A until B holds at the current time instant w iff either B holds at w or there exists a time instant w' in the future at which B holds and such that A holds in all the time instants between the current one and w'. This "ambivalent" nature poses a significant challenge when attempting to give deduction rules for until. In this paper, in contrast, we make explicit this duality of until to provide well-behaved natural deduction rules for linear-time logics by introducing a new temporal operator that allows us to formalize the "history" of until, i.e., the "internal" universal quantification over the time instants between the current one and w'. This approach provides the basis for formalizing deduction systems for temporal logics endowed with the until operator. For concreteness, we give here a labeled natural deduction system for a linear-time logic endowed with the new operator and show that, via a proper translation, such a system is also sound and complete with respect to the linear temporal logic LTL with until.

We consider the problem of Embodied Question Answering (EQA), which refers to settings where an embodied agent such as a robot needs to actively explore an environment to gather information until it is confident about the answer to a question. In this work, we leverage the strong semantic reasoning capabilities of large vision-language models (VLMs) to efficiently explore and answer such questions. However, there are two main challenges when using VLMs in EQA: they do not have an internal memory for mapping the scene to be able to plan how to explore over time, and their confidence can be miscalibrated and can cause the robot to prematurely stop exploration or over-explore. We propose a method that first builds a semantic map of the scene based on depth information and via visual prompting of a VLM - leveraging its vast knowledge of relevant regions of the scene for exploration. Next, we use conformal prediction to calibrate the VLM's question answering confidence, allowing the robot to know when to stop exploration - leading to a more calibrated and efficient exploration strategy. To test our framework in simulation, we also contribute a new EQA dataset with diverse, realistic hum

A unified Gentzen-style framework for until-free propositional linear-time temporal logic is introduced. The proposed framework, based on infinitary rules and rules for primitive negation, can handle uniformly both a single-succedent sequent calculus and a natural deduction system. Furthermore, an equivalence between these systems, alongside with proofs of cut-elimination and normalization theorems, is established.

We introduce and initiate the study of a natural class of repeated two-player matrix games, called Repeated-Until-Collision (RUC) games. In each round, both players simultaneously pick an action from a common action set $\{1, 2, \dots, n\}$. Depending on their chosen actions, they derive payoffs given by $n \times n$ matrices $A$ and $B$, respectively. If their actions collide (i.e., they pick the same action), the game ends, otherwise, it proceeds to the next round. Both players want to maximize their total payoff until the game ends. RUC games can be interpreted as pursuit-evasion games or repeated hide-and-seek games. They also generalize hand cricket, a popular game among children in India. We show that under mild assumptions on the payoff matrices, every RUC game admits a Nash equilibrium (NE). Moreover, we show the existence of a stationary NE, where each player chooses their action according to a probability distribution over the action set that does not change across rounds. Remarkably, we show that all NE are effectively the same as the stationary NE, thus showing that RUC games admit an almost unique NE. Lastly, we also show how to compute (approximate) NE for RUC games.

The digital health industry has grown in popularity since the 2010s, but there has been limited analysis of the topics discussed in the field across academic disciplines. This study aims to analyze the research trends of digital health-related articles published on the Web of Science until 2021, in order to understand the concentration, scope, and characteristics of the research. 15,950 digital health-related papers from the top 10 academic fields were analyzed using the Web of Science. The papers were grouped into three domains: public health, medicine, and electrical engineering and computer science (EECS). Two time periods (2012-2016 and 2017-2021) were compared using Latent Dirichlet Allocation (LDA) for topic modeling. The number of topics was determined based on coherence score, and topic compositions were compared using a homogeneity test. The number of optimal topics varied across domains and time periods. For public health, the first and second halves had 13 and 19 topics, respectively. Medicine had 14 and 25 topics, and EECS had 7 and 21 topics. Text analysis revealed shared topics among the domains, but with variations in composition. The homogeneity test confirmed signi

Until 2022, the US patent citation network contained almost 10 million patents and over 100 million citations. To overcome limitations in analyzing such complex networks, we propose a stochastic gradient relational event additive model (STREAM) that models the relationships between citing patents as events that occur over time, where predictors are modeled through B-splines. Our model identifies key factors driving patent citation and reveals insights, such as time windows where citations are more likely and the relevance of the increasing citation numbers per patent. Overall, the STREAM offers the potential for capturing dynamics in large sparse networks while maintaining interpretability.

A closed form is found for the expected number of rolls of a fair n-sided die until three consecutive increasing values are seen. The answer is rational, and the greatest common divisor of the numerator and denominator is given in terms of n. As n goes to infinity, the probability generating function is found for the limiting case, which is also the exponential generating function for permutations ending in a double rise and without other double rises. Thus exact values are found for the limiting expectation and variance, which are approximately 7.92437 and 27.98133 respectively.