Searcharxiv⌕ Search

arXiv subjects

Gang Yang

Publications and source records attributed to Gang Yang.

At least 19 recordsLinked to original sources

RoboColosseum: Evaluating Physical Intelligence at Scale In-The-Wild

General-purpose robot policies must work across robots, tasks, and environments, yet the variation that makes physical trials informative also makes them difficult to reproduce. We introduce RoboColosseum, a distributed evaluation framework that combines unified policy serving and standardized protocols across a network of locally operated robots in diverse environments. Our initial study evaluates five vision-language-action (VLA) policies and three frontier AI agents across four embodiments (SO-101, Franka, Bimanual-YAM, and G1 Humanoid). The Open Track compares models without task-specific adaptation in blinded, pairwise trials under matched local conditions. The Fine-tune Track measures how well VLA policies adapt to 20 tasks across all four embodiments when each policy receives the same 100 demonstrations per task. Across 5,699 pairwise Open Track comparisons at 124 sites, frontier agents rival specialized VLA policies, while all systems struggle to complete open-world tasks reliably. After fine-tuning, GR00T N1.7 leads on SO-101 and pi0.5 leads on Franka and Bimanual-YAM. Policy rankings show weak agreement across embodiment-specific task suites (Kendall W = 0.24). Open Track rankings poorly predict relative performance after fine-tuning, with substantial rank reversals on all three embodiments shared between tracks. Measuring partial progress reveals differences that task success alone misses. On the G1 Humanoid, no policy completes any of the five tasks, yet average progress ranges from 13.3% to 23.2% across policies. Open Track rankings stabilize as trials accumulate, and active matchmaking achieves comparable ranking agreement with substantially fewer physical trials than uniform sampling. These results show how distributed physical evaluation can reveal where robot policies generalize, how well they adapt to new tasks, and how far they progress on tasks they fail to complete.

cs.RO↗

VLALagBench: Understanding When and Why VLA Inference Latency Matters

Vision-language-action (VLA) models offer a promising path toward general-purpose robot manipulation. While inference latency can affect task success in a constantly evolving physical world, the relationship between latency and task success rate remains poorly understood. In this paper, we introduce VLALagBench, a comprehensive benchmark for studying VLA inference latency sensitivity across task types, object speeds, execution modes (synchronous and asynchronous), and VLA policies. Using VLALagBench, we find that even a modest inference latency of 100 ms can nearly halve task success on moving targets, with sensitivity varying substantially across tasks and policies. These differences reflect task-specific requirements for precision and continuous motion. By overlapping inference with action execution, asynchronous execution can recover some of the lost success at the cost of more frequent inference requests. Building on these findings, we develop an empirical model that predicts task success from limited calibration data, achieving root-mean-square prediction errors of only 5.7-7.8% across various VLA policies. Given an inference system's latency and per-robot throughput, these predictions guide the selection of system-specific VLA algorithm configurations to maximize task success. We believe VLALagBench and these findings provide a solid foundation for future robotics algorithm-system co-design.

cs.RO↗

CF-AVSS: A Coarse-to-Fine Audio-Visual Speech Separation Framework with Target-Speaker Refinement and Post-Fusion for Real-World AVSE Challenge

Audio-visual speech enhancement (AVSE) leverages visual cues to recover target speech from mixtures corrupted by reverberation, noise, and overlapping speakers. We propose a coarse-to-fine two-stage AVSE framework. In the first stage, a progressive SPAV-TFGridNet is extended to two synchronized visual streams to produce visually ordered coarse estimates by progressively suppressing interfering speech while preserving target reverberation and shared background noise. In the second stage, a TFGridNet-based target speaker refinement network takes the original mixture and both coarse estimates as input to further recover target speech and improve signal quality. The coarse and refined estimates are finally combined using development-set-calibrated fusion. On the ISCSLP 2026 Real-World AVSE Challenge, our system tied for first place on Track 1 and ranked second on Track 2 in OVRL, while achieving the lowest CER on both tracks at 12.31% and 14.79%, respectively.

cs.SD↗

E2DRL: End-to-End Differentiable Reinforcement Learning for 3D Obstacle Avoidance in Quadruped Robots

Differentiable reinforcement learning shows strong promise for robot policy learning, but its application to legged locomotion has remained limited to blind walking or simulated 2D tasks. Extending it to end-to-end visual obstacle avoidance is challenging because hard collision constraints and early termination upon contact corrupt first-order gradients, trapping optimizers in local minima. We present E2DRL, which addresses this with a soft differentiable obstacle-interaction formulation: penetration penalties across multiple body keypoints with velocity-conditioned stop-gradient shaping to provide the first-order training signals for 3D obstacle avoidance. To realize a deployable perception-control system, a privileged teacher trained via Soft Analytic Policy Optimization (SAPO) in a differentiable simulator is distilled into a recurrent depth-based student via DAgger, then blended with a base locomotion policy using a terrain-aware gating module for deployment. In simulation, E2DRL achieves higher sample efficiency than PPO and demonstrates superior velocity-tracking performance and 3D obstacle-avoidance capability compared with both PPO and Duality-based DCBF NMPC. We present the first sim-to-real validation of end-to-end differentiable RL for 3D obstacle avoidance on a Unitree Go2 in static and dynamic environments.

cs.RO↗

Exploring Forum Post Retrieval with Generative Modeling

Generative recommendation (GR) has emerged as an alternative to embedding-based retrieval, building on the success of generative models in language and vision. We are exploring GR on Facebook Forum, a standalone application for medium-to-heavy users of Facebook Groups. Because Forum is a new surface, its own interaction data are too sparse to train a GR model from scratch. We address this with transfer along two axes: we train on a broader corpus of Facebook Groups engagements rather than Forum sessions alone, and we reuse hierarchical, prefix-based semantic IDs (SIDs) learned from cross-platform Facebook Feed data instead of fitting a Forum-specific tokenizer. A 3B-parameter instruction-tuned language model is then supervised-fine-tuned to generate SIDs directly from user context. We systematically ablate the design choices that matter most in practice, including SID construction, the composition and length of user history, and the inclusion of user-profile features. Our results show that cross-platform SIDs transfer to a new recommendation surface, and offer practical guidance for teams deploying GR on real-world social platforms.

cs.IR↗

Less Data Approximates More: Earning Faithful Confidence in High-Stakes Domains

Large language models are increasingly deployed in high-stakes domains, where confident yet incorrect inferences may cause severe real-world harm, bringing the long-overlooked issue of confidence faithfulness to the forefront. A promising solution jointly optimizes unsupervised Reinforcement Learning from Internal Feedback (RLIF) with reasoning-trace-guided Reasoning Distillation (RD), yet it faces three persistent challenges, namely the scarcity of high-quality training corpora, factually unwarranted overconfidence, and erroneous updates amplified by indiscriminate fusion. Inspired by how human confidence accumulates from uncertainty to certainty, we propose Progressive Reasoning Gain (PRG) to measure whether reasoning steps progressively strengthen confidence in the final answer. Building on PRG, we introduce HyTuning, a hybrid post-training framework that adaptively reweights RD and RLIF, using scarce supervised reasoning traces as a stable anchor while exploiting abundant unlabeled queries for scalability. Experiments on several domain-specific and general benchmarks demonstrate that HyTuning improves accuracy while achieving confidence faithfulness under limited supervision, supporting a practical ``Less Data Approximates More'' effect. Our code will be released upon acceptance.

cs.LG↗

Three-Loop Five-Point CK-Dual Amplitudes and UV Structure in N=4 SYM and N=8 SUGRA

We construct the complete full-color three-loop five-point integrand of N=4 super-Yang--Mills theory in a representation that manifestly satisfies color--kinematics duality. Its double copy gives the corresponding N=8 supergravity integrand. For four-dimensional external states, we evaluate the ultraviolet poles of both amplitudes in the critical dimension, Dc=6. Extending the external-state dependence to D dimensions is subtle. We consider a candidate replacement of the four-dimensional prefactors by expressions built from D-dimensional tree amplitudes. It reproduces the open-string prediction for the SYM pole with generic D-dimensional external states, whereas the corresponding gravity expression differs from the string-inspired one by an evanescent term.

hep-th↗

Fast and Reliable Gradients for Deformables Across Frictional Contact Regimes

Differentiable simulation establishes the mathematical foundation for solving challenging inverse problems in computer graphics and robotics, such as physical system identification and inverse dynamics control. However, rigor in frictional contact remains the "elephant in the room." Current frameworks often avoid contact singularities via non-Markovian position approximations or heuristic gradients. This lack of mathematical consistency distorts gradients, causing optimization stagnation or failure in complex frictional contact and large-deformation scenarios. We introduce our unified fully GPU-accelerated differentiable simulator, which establishes a rigorous theoretical paradigm through: Long-Horizon Consistency: enforcing strict Markovian dynamics on a coupled position-velocity manifold to prevent gradient collapse; Unified Contact Stability: employing a mass-aligned preconditioner and soft Fischer--Burmeister operator for smooth frictional optimization; Robust Material Identification: resolving FEM singularities via a derived "Within-block Commutation" condition. Our experiments demonstrate our solver efficacy in bridging the Sim-to-Real gap, delivering precise, low-noise gradients in contact-rich tasks like dexterous manipulation and cloth folding. By mitigating the gradient instability issues common in conventional approaches, our framework significantly enhances the fidelity of physical system identification and control.

cs.GR↗

New upper bound for multicolor Ramsey numbers

Let $R_r(k)$ denote the diagonal $r$-color graph Ramsey number. We prove that there exist absolute constants $c,K>0$ such that \[ R_r(k)\le \exp\!\left(-c\frac{k}{r^2\log^4(2r)}\right)r^{rk} \] for every $r\ge2$ and every $k\ge Kr^2\log^6(2r)$. The proof combines a positive-coefficient root filter of variable order with a retained-spine refinement of the multicolor book method.b

math.CO↗

EmoFeedback$^2$: Reinforcement of Continuous Emotional Image Generation via LVLM-based Reward and Textual Feedback

Continuous emotional image content generation (C-EICG) is emerging rapidly due to its ability to produce images aligned with both user descriptions and continuous emotional values. However, existing approaches lack emotional feedback from generated images, limiting the control of emotional continuity. Additionally, their simple emotion-text alignment fails to adaptively adjust emotional prompts according to image content, leading to insufficient emotional fidelity. To address these concerns, we propose a novel generation-understanding-feedback reinforcement paradigm (EmoFeedback$^2$) for C-EICG, which exploits the reasoning capability of the fine-tuned large vision-language model (LVLM) to provide reward and textual feedback for generating high-quality images with continuous emotions. Specifically, we introduce an emotion-aware reward feedback strategy, where the LVLM evaluates the emotional values of generated images and computes the reward against target emotions, guiding the reinforcement fine-tuning of the generative model and enhancing the emotional continuity of images. Furthermore, we design a self-promotion textual feedback framework, in which the LVLM iteratively analyzes the emotional content of generated images and adaptively produces refinement suggestions for the next-round prompt, improving the emotional fidelity with fine-grained content. Extensive experimental results demonstrate that our approach effectively generates high-quality images with the desired emotions, outperforming existing state-of-the-art methods on both our custom dataset and public dataset.

cs.CV↗

Non-Hermitian Structure and Exceptional Points in Yang-Mills Theory from Analytic Continuation of Nc

We show that analytic continuation of the number of colors, Nc, naturally endows Yang-Mills theory with a non-Hermitian structure. By examining the spectrum of the dilatation operator as a function of complex Nc, we identify a network of Exceptional Points (EPs) -- non-Hermitian degeneracies where anomalous dimensions degenerate and operator eigenstates coalesce. We demonstrate that these EPs act as topological defects in complex Nc-space, generating non-Abelian geometric phases and enforcing nontrivial monodromies among gauge-invariant operators. Moreover, we establish a correspondence between the spontaneous breaking of an emergent PT symmetry of the dilatation operator and the fundamental spacetime PT symmetry of the underlying gauge theory. In the vicinity of EPs, the resulting non-Hermitian dynamics produces logarithmic scaling behavior in correlation functions, characteristic of logarithmic conformal field theories. Our results place conventional unitary Yang-Mills theory within a broader complexified parameter space possessing rich topological structure, suggesting a new interface between non-Hermitian physics and quantum field theory.

hep-th↗

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition

High-quality fuzz harnesses are essential for effective gray-box fuzzing. While Large Language Models (LLMs) offer promise for automating this task, existing one-turn generation methods suffer from hallucinations and inadequate coverage due to coarse-grained function targeting and misaligned generation workflows. We present SynapseFlow, an automatic harness generator that addresses these limitations through two key innovations: dataflow-aware function aggregation and a staged, rollback-enabled generation workflow decomposition. SynapseFlow first analyzes source code to construct Structural Flow Graphs and extract coherent Function Triplets. It then synthesizes harnesses via a decomposed four-stage process governed by a staged rollback algorithm to ensure correctness. We evaluated SynapseFlow on 25 real-world open-source software projects. The experimental results indicate that SynapseFlow outperforms state-of-the-art tools (OSS-Fuzz-Gen, CKGFuzzer, PromeFuzz), achieving 3.07$\times$, 1.71$\times$, and 4.26$\times$ higher branch coverage, and 1.77$\times$, 1.51$\times$, and 1.36$\times$ higher bug detection rates, respectively. Most importantly, SynapseFlow discovered 7 previously unreported bugs (5 assigned CVEs), demonstrating its practical effectiveness in real-world bug discovery.

cs.CR↗

Solution to a conjecture of Alon, Dębski, Grytczuk and Przybyło on fixed-cardinality arithmetic progressions

Fix a positive integer $n$, and put $B_d=\{d,2d,\ldots,nd\}$. Let $M_k(n)$ be the least integer $m$ for which one translate of each of $B_1,\ldots,B_k$ can be placed pairwise disjointly in $[m]$. We prove that, for every $\eps\in(0,1)$ and all sufficiently large $k$, one has $M_k(n)\le n\lceil(1+\eps)k\rceil$. Since the trivial counting bound gives $M_k(n)\ge nk$, it follows that $M_k(n)=(1+o(1))nk$ for every fixed $n$. This confirms a conjecture of Alon, Dębski, Grytczuk and Przybyło on prescribed-difference packings of fixed-cardinality arithmetic progressions.

math.CO↗

Dyeing form factors as amplitudes

The double copy of form factors has revealed a striking feature: poles that are spurious from the gauge-theory perspective become physical propagators in gravity. At the same time, form factors obey hidden factorization relations on the kinematics of these poles. We explain both phenomena by introducing a dyeing procedure, which promotes the color-singlet operator, or the Higgs particle representing it, to an adjoint massive state. The original form factor is recovered by the inverse bleaching operation, realized as a $U(1)$ decoupling of the dyed leg. In the dyed theory, these apparent spurious poles turn into ordinary physical propagators of colored amplitudes, and the hidden factorization relations follow from standard BCJ relations. Applying this framework to multiple operator insertions gives a systematic double-copy construction for multi-Higgs amplitudes and, as a byproduct, reveals scalar-ordering sectors. We also discuss higher-length scalar operators and fermionic operators, including the dyed vector construction for $\barψγ^μψ$, as well as a loop-level example.

hep-th↗

AI for Pattern Hunter: Application in Wilson Loop of 2D Lattice Yang-Mills Theory

We employ the Transformer to learn patterns in two-dimensional lattice Yang-Mills theory. Specifically, we represent both Wilson loops and their expectation values as tokenized sequences. Taking the shape of Wilson loops as input, the model successfully predicts expectation values with high accuracy, indicating a meaningful connection between loop geometry and physical results. Our study differs from prior machine learning applications in lattice QCD by emphasizing analytical structures rather than numerical computations. We explore model performance under varying hyperparameters, training data sizes, and sequence lengths. This work serves as a first step toward extending such methods to higher dimensions and inspiring rigorous analytical derivations.

hep-th↗

A complete solution to the biased Alon-Krivelevich-Spencer-Szabó criterion problem for the discrepancy game

Let \(H=(V,\mathcal E)\) be a finite hypergraph. For positive integers \(p\) and \(q\), the \((p:q)\)-biased discrepancy game on \(H\) is played in complete rounds. In each round, Balancer first claims \(p\) previously unclaimed vertices, and then Unbalancer claims \(q\) previously unclaimed vertices. Let \(B\) and \(U\) be the final sets of vertices claimed by Balancer and Unbalancer, respectively. For an edge \(e\in\mathcal E\), define $D_e = q|B\cap e|-p|U\cap e| = (p+q)|B\cap e|-p|e|$. Thus \(D_e\) measures the deviation of Balancer's share of \(e\) from the density \(p/(p+q)\). In 2005, Alon, Krivelevich, Spencer and Szabó proved a Chernoff-type potential criterion for the unbiased alternating discrepancy game, corresponding to the case \(p=q=1\), and asked for a biased analogue for general $p,q$. In this paper, we prove a complete biased analogue in the complete-round formulation. More precisely, for every finite hypergraph \(H=(V,\mathcal E)\) and every fixed bias \((p:q)\), we give an explicit exponential condition under which Balancer has a strategy forcing $-L_e^- \le D_e \le L_e^+$ for every $e\in\mathcal E$, where \(L_e^+\) and \(L_e^-\) are prescribed edge-dependent target values.

math.CO↗

Double copy of form factors with multiple operator insertions

Extending the double copy of scattering amplitudes to more general physical quantities involving local gauge-invariant operators is a central open question. While progress has been made in the double copy of form factors (FFs) with a single-operator insertion, it has led to two intriguing features: poles that are spurious from the FF viewpoint become physical propagators in gravity, and FFs obey hidden factorization relations on these poles. This picture is difficult to generalize to FFs with multiple operator insertions due to even more complicated spurious pole structures. We resolve this problem by introducing a "dyeing" procedure that promotes color-singlet operators to adjoint colored states, while the original FF is recovered by the inverse "bleaching" (U(1) decoupling) operation. In this new picture, the spurious poles are propagators of the dyed state, and the hidden factorization relations follow from BCJ relations of the dyed amplitudes. For multiple operator insertions, this framework uncovers a new scalar-ordering structure that survives the double copy to gravity.

hep-th↗

Complete Resolution of the Butler-Costello-Graham Conjecture on Monochromatic Constellations

A constellation pattern is a finite increasing rational sequence \(Q=[0=q_0<q_1<\cdots<q_k=1]\), and a \(Q\)-constellation in \([n]\) is obtained by scaling and translating a rational pattern $Q$, with key examples including arithmetic progressions. In 2010, Butler, Costello, and Graham proposed a conjecture, that is, for any constellation pattern $Q$ there is a coloring pattern of $[n]$ that has $γn^2+o\left(n^2\right)$ monochromatic constellations, where $γ$ is smaller than the coefficient for a random coloring. In this paper, we confirm this conjecture. As applications of this conjecture, we obtain interval-uncommon translation-invariant linear systems associated with rational constellations and a ground-state bound for deterministic arithmetic hypergraph spin systems.

math.CO↗