SearcharxivSearch

arXiv subjects

Hui Ouyang

Publications and source records attributed to Hui Ouyang.

At least 19 recordsLinked to original sources

Cooperative Coevolution for Resource-Constrained Agentic LLM Post-Training

Tool-using large language model (LLM) agents produce long, multi-turn trajectories, making gradient-based post-training memory-intensive. Evolution strategies (ES) enable memory-efficient full-parameter post-training without backpropagation and can eventually match the performance of gradient-based reinforcement learning (RL). However, resource-constrained settings typically offer only a few GPUs, so the high GPU-hour requirements of ES translate into prohibitively long training times. To address this, we introduce Cooperative Parameter-subspace Evolution Strategy (CoPES), a cooperative coevolutionary method that decomposes the full parameter space into lower-dimensional subspaces and searches over them cooperatively to improve optimization efficiency. We post-train a Qwen3.5-4B tool-using agent for the math task and evaluate it on five benchmarks of varying difficulty. Under the GPU-hour budget of full-parameter GRPO's best validation checkpoint, CoPES recovers 92% of GRPO's validation-accuracy gain, versus 67% for standard ES, while its theoretical GPU memory requirement is less than one-eighth that of full-parameter GRPO. It consistently outperforms standard ES and LoRA-based GRPO on all evaluated pass@k metrics across the five benchmarks. Additional experiments further show the advantage of CoPES on the question-answering task. These results demonstrate an improved trade-off between memory requirements and training time for agentic LLM post-training under resource constraints. The code is open-sourced in https://github.com/MetaronWang/CoPES

cs.AI

Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications

The Model Context Protocol (MCP) has emerged as a critical standard empowering Large Language Models (LLMs) to utilize external tools. In this ecosystem, LLMs rely on natural language descriptions provided by MCP servers to select and execute functions. This interaction implicitly assumes that tool descriptions faithfully reflect their underlying implementations, while this assumption is not mandatorily verified in practice. As a result, MCP deployments may suffer from a problem named Description-Code Inconsistency (DCI), where a tool's description of its capabilities and security boundaries is not consistent with what the code actually does. In this paper, we present a comprehensive study of DCI in real-world MCP servers. We formally define the problem and propose a comprehensive taxonomy spanning functionality inconsistencies and undeclared side effects. Guided by this taxonomy, we develop DCIChecker, an automated framework that combines structure-aware static analysis with the Direct-Reverse-Arbitration prompting method to cross-validate tool descriptions against actual code implementations. We apply this framework to a large-scale dataset comprising 19,200 description-code pairs extracted from 2,214 real-world MCP servers. Our measurement reveals that DCI is widespread, with 9.93% of these pairs exhibiting inconsistencies. We further demonstrate that DCI creates a critical defense blind spot, facilitating varied risks from operational failures to stealthy malicious behaviors. Finally, we propose mitigation strategies to enforce semantic consistency and enhance the reliability of the emerging agentic ecosystem.

cs.CR

CAHS-Attack: CLIP-Aware Heuristic Search Attack Method for Stable Diffusion

Diffusion models exhibit notable fragility when faced with adversarial prompts, and strengthening attack capabilities is crucial for uncovering such vulnerabilities and building more robust generative systems. Existing works often rely on white-box access to model gradients or hand-crafted prompt engineering, which is infeasible in real-world deployments due to restricted access or poor attack effect. In this paper, we propose CAHS-Attack , a CLIP-Aware Heuristic Search attack method. CAHS-Attack integrates Monte Carlo Tree Search (MCTS) to perform fine-grained suffix optimization, leveraging a constrained genetic algorithm to preselect high-potential adversarial prompts as root nodes, and retaining the most semantically disruptive outcome at each simulation rollout for efficient local search. Extensive experiments demonstrate that our method achieves state-of-the-art attack performance across both short and long prompts of varying semantics. Furthermore, we find that the fragility of SD models can be attributed to the inherent vulnerability of their CLIP-based text encoders, suggesting a fundamental security risk in current text-to-image pipelines.

cs.CR

Insomnia impairs muscle function via regulating protein degradation and muscle clock

Background: Insomnia makes people more physically unable of doing daily duties, which results in a lack of strength, leads to lacking in strength. However, the effects of insomnia on muscle function have not yet been thoroughly investigated. So, the objectives of this study were to clarify how insomnia contributes to the decrease of muscular function and to investigate the mechanisms behind this phenomenon. Methods: To understand how insomnia influence muscle function, we analyzed the expression level of factors associated with muscle protein degradation, muscle protein synthesis , protein synthesis and degradation pathways and muscle clock. Results: The results showed that lower BMI and grip strength were observed in insomnia patients. The mice in the sleep deprivation(SD) group saw a 7.01 g loss in body mass. The SD group's tibialis anterior and gastrocnemius muscle mass decreased after 96 h of SD). The grip strength reduced in SD group. Using the RT-PCR approaches, we found a significant increase in muscle degradation factors expression in SD group versus normal control group. Conclusions: Insomnia can impair muscle function. The mechanism may be associated with the increased expression of muscle degradation related factors , as well as the abnormal expression of Clock gene.

q-bio.NC

Divide-and-Conquer Strategy for Large-Scale Dynamic Bayesian Network Structure Learning

Dynamic Bayesian Networks (DBNs), renowned for their interpretability, have become increasingly vital in representing complex stochastic processes in various domains such as gene expression analysis, healthcare, and traffic prediction. Structure learning of DBNs from data is challenging, particularly for datasets with thousands of variables. Most current algorithms for DBN structure learning are adaptations from those used in static Bayesian Networks (BNs), and are typically focused on small-scale problems. In order to solve large-scale problems while taking full advantage of existing algorithms, this paper introduces a novel divide-and-conquer strategy, originally developed for static BNs, and adapts it for large-scale DBN structure learning. In this work, we specifically concentrate on 2 Time-sliced Bayesian Networks (2-TBNs), a special class of DBNs. Furthermore, we leverage the prior knowledge of 2-TBNs to enhance the performance of the strategy we introduce. Our approach significantly improves the scalability and accuracy of 2-TBN structure learning. Experimental results demonstrate the effectiveness of our method, showing substantial improvements over existing algorithms in both computational efficiency and structure learning accuracy. On problem instances with more than 1,000 variables, our approach improves two accuracy metrics by 74.45% and 110.94% on average , respectively, while reducing runtime by 93.65% on average.

cs.LG

Alternating Proximity Mapping Method for Convex-Concave Saddle-Point Problems

We proposed an iterate scheme for solving convex-concave saddle-point problems associated with general convex-concave functions. We demonstrated that when our iterate scheme is applied to a special class of convex-concave functions, which are constructed by a bilinear coupling term plus a difference of two convex functions, it becomes a generalization of several popular primal-dual algorithms from constant involved parameters to involved parameters as general sequences. For this specific class of convex-concave functions, we proved that the sequence of function values, taken over the averages of iterates generated by our scheme, converges to the value of the function at a saddle-point. Additionally, we provided convergence results for both the sequence of averages of our iterates and the sequence of our iterates. In our numerical experiments, we implemented our algorithm in a matrix game, a linear program in inequality form, and a least-squares problem with $\ell_{1}$ regularization. In these examples, we also compared our algorithm with other primal-dual algorithms where parameters in their iterate schemes were kept constant. Our experimental results not only validated our theoretical findings but also demonstrated that our algorithm consistently outperforms various iterate schemes with constant involved parameters.

math.OC

Alternating Proximal Point Algorithm with Gradient Descent and Ascent Steps for Convex-Concave Saddle-Point Problems

Inspired by the Optimistic Gradient Ascent-Proximal Point Algorithm (OGAProx) proposed by Bo{ţ}, Csetnek, and Sedlmayer for solving a saddle-point problem associated with a convex-concave function with a nonsmooth coupling function and one regularizing function, we introduce the Alternating Proximal Point Algorithm with Gradient Descent and Ascent Steps for solving a saddle-point problem associated with a convex-concave function constructed by a smooth coupling function and two regularizing functions. In this work, we not only provide weak and linearly convergence of the sequence of iterations and of the minimax gap function evaluated at the ergodic sequences, similarly to what Bo{ţ} et al.\,did, but also demonstrate the convergence and linearly convergence of function values evaluated at convex combinations of iterations under convex and strongly convex assumptions, respectively.

math.OC

A Note on the Convergence of the OGAProx

In this note, we consider the Optimistic Gradient Ascent-Proximal Point Algorithm (OGAProx) proposed by Bo{ţ}, Csetnek, and Sedlmayer for solving a saddle-point problem associated with a convex-concave function constructed by a nonsmooth coupling function and one regularizing function. We first provide a counterexample to show that the convergence of the minimax gap function, evaluated at the ergodic sequences, is insufficient to demonstrate the convergence of the function values evaluated at the ergodic sequences. Then under the same assumptions used by Bo{ţ} et al.\,for proving the convergence of the minimax gap function, we present convergence results for the function values evaluated at the ergodic sequences generated by the OGAProx with convergence rates of order $\mathcal{O}\left(\frac{1}{k}\right)$, $\mathcal{O}\left(\frac{1}{k^{2}}\right)$, and $\mathcal{O}\left(θ^{k}\right)$ with $θ\in (0,1)$ for the associated convex-concave coupling function being convex-concave, convex-strongly concave, and strongly convex-strongly concave, respectively.

math.OC

Alternating Proximity Mapping Method for Strongly Convex-Strongly Concave Saddle-Point Problems

This is a continuation of our previous work entitled \enquote{Alternating Proximity Mapping Method for Convex-Concave Saddle-Point Problems}, in which we proposed the alternating proximal mapping method and showed convergence results on the sequence of our iterates, the sequence of averages of our iterates, and the sequence of function values evaluated at the averages of the iterates for solving convex-concave saddle-point problems. In this work, we extend the application of the alternating proximal mapping method to solve strongly convex-strongly concave saddle-point problems. We demonstrate two sets of sufficient conditions and also their simplified versions, which guarantee the linear convergence of the sequence of iterates towards a desired saddle-point. Additionally, we provide two sets of sufficient conditions, along with their simplified versions, that ensure the linear convergence of the sequence of function values evaluated at the convex combinations of iteration points to the desired function value of a saddle-point.

math.OC

Alternating Subgradient Methods for Convex-Concave Saddle-Point Problems

We propose an alternating subgradient method with non-constant step sizes for solving convex-concave saddle-point problems associated with general convex-concave functions. We assume that the sequence of our step sizes is not summable but square summable. Then under the popular assumption of uniformly bounded subgradients, we prove that a sequence of convex combinations of function values over our iterates converges to the value of the function at a saddle-point. Additionally, based on our result regarding the boundedness of the sequence of our iterates, we show that a sequence of the function evaluated at convex combinations of our iterates also converges to the value of the function over a saddle-point. We implement our algorithms in examples of a linear program in inequality form, a least-squares problem with $\ell_{1}$ regularization, a matrix game, and a robust Markowitz portfolio construction problem. To accelerate convergence, we reorder the sequence of step sizes in descending order, which turned out to work very-well in our examples. Our convergence results are confirmed by our numerical experiments. Moreover, we also numerically compare our iterate scheme with iterates schemes associated with constant step sizes. Our numerical results support our choice of step sizes. Additionally, we observe the convergence of the sequence of function values over our iterates in multiple experiments, which currently lacks theoretical support.

math.OC

Weak and Strong Convergence of Generalized Proximal Point Algorithms with Relaxed Parameters

In this work, we propose and study a framework of generalized proximal point algorithms associated with a maximally monotone operator. We indicate sufficient conditions on the regularization and relaxation parameters of generalized proximal point algorithms for the equivalence of the boundedness of the sequence of iterations generated by this algorithm and the non-emptiness of the zero set of the maximally monotone operator, and for the weak and strong convergence of the algorithm. Our results cover or improve many results on generalized proximal point algorithms in our references. Improvements of our results are illustrated by comparing our results with related known ones.

math.OC

Bregman Circumcenters: Monotonicity and Forward Weak Convergence

Recently, we systematically studied the basic theory of Bregman circumcenters in another paper. In this work, we aim to apply Bregman circumcenters to optimization algorithms. Here, we propose the forward Bregman monotonicity which is a generalization of the powerful Fejér monotonicity and show a weak convergence result of the forward Bregman monotone sequence. We also naturally introduce the Bregman circumcenter mappings associated with a finite set of operators. Then we provide sufficient conditions for the sequence of iterations of the forward Bregman circumcenter mapping to be forward Bregman monotone. Furthermore, we prove that the sequence of iterations of the forward Bregman circumcenter mapping weakly converges to a point in the intersection of the fixed point sets of relevant operators, which reduces to the known weak convergence result of the circumcentered method under the Euclidean distance. In addition, particular examples are provided to illustrate the Bregman isometry and Browder's demiclosedness principle, and our convergence result.

math.OC

On the Stability of Krasnosel'ski\vı-Mann Iterations

Firstly, we invoke the weak convergence (resp. strong convergence) of translated basic methods involving nonexpansive operators to establish the weak convergence (resp. strong convergence) of the associated method with both perturbation and approximation. Then we employ the technique obtaining the result above to extend convergence results from the classic Krasnosel'ski\vı-Mann iterations to their relaxation variants for finding a common fixed point of associated nonexpansive operators. At last, we show applications on generalized proximal point algorithms for solving monotone inclusion problems.

math.OC

Linear Convergence of Generalized Proximal Point Algorithms for Monotone Inclusion Problems

We focus on the linear convergence of generalized proximal point algorithms for solving monotone inclusion problems. Under the assumption that the associated monotone operator is metrically subregular or that the inverse of the monotone operator is Lipschitz continuous, we provide Q-linear and R-linear convergence results on generalized proximal point algorithms. Comparisons between our results and related ones in the literature are presented in remarks of this work.

math.OC

Finite convergence of locally proper circumcentered methods

In view of the great performance of circumcentered isometry methods for solving the best approximation problem, in this work we further investigate the locally proper circumcenter mapping and circumcentered method. Various examples of locally proper circumcenter mapping are presented and studied. Inspired by some results on circumcentered-reflection method by Behling, Bello-Cruz, and Santos in their recent papers, we provide sufficient conditions for one step convergence of circumcentered isometry methods for finding the best approximation point onto the intersection of fixed point sets of related isometries. In addition, we elaborate the performance of circumcentered reflection methods induced by reflectors associated with hyperplanes and halfspaces for finding the best approximation point onto (or a point in) the intersection of hyperplanes and halfspaces.

math.OC

On angles between convex cones

There are two basic angles associated with a pair of linear subspaces: the Diximier angle and the Friedrichs angle. The Dixmier angle of the pair of orthogonal complements is the same as the Dixmier angle of the original pair provided that the original pair gives rise to a direct (not necessarily orthogonal) sum of the underlying Hilbert space. The Friedrichs angles of the original pair and the pair of the orthogonal complements always coincide. These two results are due to Krein, Krasnoselskii, and Milman and to Solmon, respectively. In 1995, Deutsch provided a very nice survey with complete proofs and interesting historical comments. One key result in Deutsch's survey was an inequality for Dixmier angles provided by Hundal. In this paper, we present extensions of these results to the case when the linear subspaces are only required to be convex cones. It turns out that Hundal's result has a nice conical extension while the situation is more technical for the results by Krein et al.\ and by Solmon. Our analysis is based on Deutsch's survey and our recent work on angles between convex sets. Throughout, we also provide examples illustrating the sharpness of our results.

math.FA

On angles between convex sets in Hilbert spaces

The notion of the angle between two subspaces has a long history, dating back to Friedrichs's work in 1937 and Dixmier's work on the minimal angle in 1949. In 2006, Deutsch and Hundal studied extensions to convex sets in order to analyze convergence rates for the cyclic projections algorithm. In this work, we characterize the positivity of the minimal angle between two convex cones. We show the existence of, and necessary conditions for, optimal solutions of minimal angle problems associated with two convex subsets as well. Moreover, we generalize a result by Deutsch on minimal angles from linear subspaces to cones. This generalization yields sufficient conditions for the closedness of the sum of two closed convex cones. This also relates to conditions proposed by Beutner and by Seeger and Sossa. Furthermore, we investigate the relation between the intersection of two cones (at least one of which is nonlinear) and the intersection of the polar and dual cones of the underlying cones. It turns out that the two angles involved cannot be positive simultaneously. Various examples illustrate the sharpness of our results.

math.OC

Bregman circumcenters: basic theory

Circumcenters play an important role in the design and analysis of accelerating various iterative methods in optimization. In this work, we propose Bregman (pseudo-)circumcenters associated with finite sets. We show the existence and give explicit formulae for the unique backward and forward Bregman pseudo-circumcenters of finite sets. Moreover, we use duality to establish connections between backward and forward Bregman (pseudo-)circumcenters. Various examples are presented to illustrate the backward and forward Bregman (pseudo-)circumcenters of finite sets. Our general framework for circumcenters paves the way for the development of accelerating iterative methods by Bregman circumcenters.

math.OC