arXiv:2601.22393v2 Announce Type: replace
Abstract: Proving proof-size lower bounds for $\mathbf{LK}$, the sequent calculus for classical propositional logic, remains one of the major open problems in proof complexity. We shed new light on this challenge by isolating the power of structural rules and showing that their combination is dramatically stronger than any individual structural rule alone, even in the presence of the controlled structural rules provided by linear exponentials. It is easy to see that $\mathbf{LK}$ without the weakening rule is significantly weaker than $\mathbf{LK}$ with respect to proof complexity. It therefore remains to study the impact of eliminating contraction and cut. Working over the Full Lambek calculus with exchange, $\mathbf{FL_e}$, as a base system, we begin with the role of contraction. We construct families of $\mathbf{FL_e}$-provable formulas that require exponential-size proofs in affine linear logic $\mathbf{LLW}$, yet admit polynomial-size proofs once contraction is restored. This yields exponential proof-size lower bounds for $\mathbf{FL_e}$-provable formulas in $\mathbf{LLW}$, and consequently in $\mathbf{MALL}$, $\mathbf{MALL_w}$, and full classical linear logic $\mathbf{LL}$. We then investigate the role of cut. We exhibit sequents with polynomial-size $\mathbf{FL_e}$-proofs that nevertheless require exponential-size proofs in cut-free $\mathbf{LK}$. This shows that the cut rule alone provides an exponential speed-up over the combination of weakening and contraction. As a consequence, we obtain exponential separations between several linear calculi and their cut-free counterparts.
Science Journals
arXiv:2606.23357v2 Announce Type: replace
Abstract: Structured weight-uncertainty can improve many aspects of deep learning, but it remains costly to estimate and difficult to implement. Here, we show that these issues can be addressed by adapting the SOAP optimizer. Our key idea is to run IVON, an existing diagonal-covariance variational method, in the eigenspace of SOAP's preconditioner and then use the preconditioner to transform the diagonal estimate into a non-diagonal covariance. The resulting method has costs similar to those of SOAP and requires no drastic changes to training pipelines. We call the posteriors obtained in this way SOAP-Bubbles and our new optimizer Eigenspace-VON (EVON). We show that, for logistic regression, EVON recovers the exact Gaussian covariance and that, for language model pretraining, it yields significantly better results than existing diagonal-covariance methods. Our work makes it easier to estimate more expressive posterior distributions for deep learning at scale.
arXiv:2601.22448v2 Announce Type: replace
Abstract: RLVR has become a standard recipe for training LLMs on reasoning tasks with verifiable outcomes, but when rollout generation dominates the cost, efficiency hinges on which prompts are sampled and when. In practice, prompt pools are often static or only weakly coupled to policy progress, so uniform sampling fails to track the moving capability frontier and wastes rollouts on regions that are already solved or still unreachable. Prior methods improve efficiency via filtering, curricula, adaptive rollout allocation, or teacher guidance, but they often assume a fixed pool, which does not support stable on-policy pool growth, or they introduce additional teacher cost and latency. In this work, we propose HeaPA (Heap Sampling and On-Policy Query Augmentation), which maintains a bounded, evolving pool, tracks the frontier with heap-based boundary sampling, grows the pool via on-policy augmentation under lightweight asynchronous validation, and stabilizes correlated queries via topology-aware pool statistics re-estimation and controlled reinsertion. Across two training corpora, two training recipes, and seven benchmarks, HeaPA consistently improves accuracy and reaches target performance with fewer computations at comparable wall-clock time. Analyses attribute the gains to frontier-focused sampling and on-policy pool growth, with more pronounced improvements at mid-to-large model scales. Our training code is publicly available at https://github.com/horizon-llm/HeaPA.
arXiv:2601.22588v2 Announce Type: replace
Abstract: Large language models (LLMs) are widely used as reference-free evaluators via prompting, but this "LLM-as-a-Judge" paradigm is costly, opaque, and sensitive to prompt design. In this work, we investigate whether smaller models can serve as efficient evaluators by leveraging internal representations instead of surface generation. We uncover a consistent empirical pattern: small LMs, despite with weak generative ability, encode rich evaluative signals in their hidden states. This motivates us to propose the Semantic Capacity Asymmetry Hypothesis: evaluation requires significantly less semantic capacity than generation and can be grounded in intermediate representations, suggesting that evaluation does not necessarily need to rely on large-scale generative models but can instead leverage latent features from smaller ones. Our findings motivate a paradigm shift from LLM-as-a-Judge to Representation-as-a-Judge, a decoding-free evaluation strategy that probes internal model structure rather than relying on prompted output. We instantiate this paradigm through INSPECTOR, a probing-based framework that predicts aspect-level evaluation scores from small model representations. Experiments on reasoning benchmarks (GSM8K, MATH, GPQA) show that INSPECTOR substantially outperforms prompting-based small LMs and closely approximates full LLM judges, while offering a more efficient, reliable, and interpretable alternative for scalable evaluation. The code and data are available at: https://github.com/zhuochunli/Representation-as-a-judge
arXiv:2607.07963v1 Announce Type: new
Abstract: A few decades ago some possible remedies to an inaccurate enforcement of Neumann or Robin conditions prescribed on the boundary of a smooth domain, owing to the approximation of a curved domain by the union of straight-edged triangles or tetrahedra in a fitted mesh, were addressed in the literature. By that time authors such as Barrett and Elliott (1988) advocated the use of elements with a single curved edge or face fitting the true boundary not only at two or three vertexes, but also at additional points on those curves or curved surfaces, so as to define a polynomial surface of a certain type compatible with the theoretical approximation order of the method in use. In this work we adopt a different approach, whose main feature is the use of a fitted mesh consisting of straight-edged elements only. The recovery of lost accuracy due to the domain's approximation by a polytope is achieved by means of the addition of terms to the bilinear form, which account for natural boundary conditions of the same type to be prescribed on the approximating boundary, though much closer to the true ones. This technique is applied here to the case of triangular Lagrange finite elements, for which we give a rigorous reliability study in the solution of reaction-diffusion equations. Numerical experimentation is supplied in support of the theoretical results.
arXiv:2607.08512v1 Announce Type: new
Abstract: Science is often portrayed as a universal and self-contained system, driven solely by the internal logic of knowledge accumulation and isolated from the turbulences of the socio-political world. In this paper, we challenge this narrative by providing systematic quantitative evidence that the global scientific ecosystem is deeply shaped by geopolitical transformations. Using a large-scale dataset of scientific publications drawn from the OpenAlex database, spanning over five decades and covering virtually all countries and disciplinary areas, we track the evolution of national research profiles and show that geopolitical dynamics shape scientific agendas at multiple scales. At the global level, intrinsic scientific change is slow and cumulative, but exogenous shocks, such as Chernobyl, September 11, and COVID-19, produce rapid disruptions that synchronously reconfigure the priorities of many countries at once. At the country level, we document a broad globalization of knowledge, yet deeply heterogeneous: while Global North countries converge toward a shared international agenda, Global South countries display strong dependence on international resources alongside locally distinctive research interests. Among emerging Southern economies, scientific power is increasingly asserted through specialized and independent agendas. Finally, we observe a reorganization of global scientific influence toward a more polycentric structure, with the emergence of a Southern cluster gravitating around Brazil and Indonesia as new regional hubs.
arXiv:2607.08514v1 Announce Type: new
Abstract: Hand-object interaction (HOI) recognition requires capturing both hand manipulations and object transformations. However, existing video-language models often fall into shortcuts by relying on spurious correlations among hands, objects, or environmental context, rather than reasoning from the appearance and dynamics of hands and objects themselves. To address this limitation, we propose a new learning paradigm that combines (i) hand-object masked training, which enables robust reasoning from partial hand or object observations, and (ii) an HOI-dynamics-aware decoder that explicitly learns hand- and object-centric embeddings through auxiliary predictions of their locations and semantics, enhancing sensitivity to both cues. To systematically evaluate such cue-specific reasoning, we introduce Cue-Isolated HOI (CI-HOI), a new evaluation that assesses models' ability to predict actions from hand- and object-related cues independently. To enable CI-HOI, we curate the DEHOI testbed, which separates hand- and object-related observations for disentangled HOI evaluation through inpainting. Using DEHOI, we demonstrate both quantitatively and qualitatively that our training strategy exploits hand- and object-centric information more effectively than existing models. Our approach improves over existing models on DEHOI, standard action recognition, object state recognition, and even robot manipulation action recognition, leading to more robust HOI understanding.
arXiv:2607.08515v1 Announce Type: new
Abstract: Text-to-image (T2I) models have been shown to exhibit social biases. Prior work has mainly focused on gender, skin tone, and cultural representation within restricted occupational associations, and emerging benchmarks increasingly incorporate these dimensions. However, disability remains systematically underexplored. Current evaluation practices often fail to align with sociologically grounded definitions of stereotyping, limiting principled assessment of representational harms toward people with disabilities (PWD). To address this, we introduce INCLUDE-BENCH, the first large-scale benchmark for evaluating disability-related bias in T2I models. INCLUDE-BENCH comprises 119K generated images based on prompt design across multiple bias dimensions and both static and dynamic contexts. We evaluate 15 open-source and 2 closed-source models. Our key findings reveal that: (1) mobility-impaired and default disability prompts predominantly yield wheelchair depictions across all models; (2) disability-conditioned generations consistently exhibit less diversity; (3) stereotypical portrayals demonstrate stronger disability-text alignment; and (4) we introduce the Stereotype Content Model (SCM) Score, demonstrating that T2I models reflect real-world stereotypical associations.
arXiv:2602.13723v5 Announce Type: replace
Abstract: Large Language Models (LLMs) have significantly improved programming efficiency by translating natural language into code, yet their performance deteriorates when handling large-scale, multi-modal requirement documents containing hundreds of scenarios, often producing incorrect implementations or missing critical constraints. To address this challenge, we propose ARC (Agentic Requirement Compilation), a framework that compiles DSL-based requirement documents into runnable web systems while automatically generating modular software architecture, comprehensive test suites, and traceability across requirements, design, and code. ARC adopts a bidirectional test-driven agentic workflow, combining a top-down architecture design phase with a bottom-up implementation phase to ensure that generated code satisfies synthesized tests. We evaluate ARC on six runnable web system benchmarks and the AppForge benchmark of 101 mobile app generation tasks. Across three independent trials, ARC consistently outperforms state-of-the-art LLM-based baselines, achieving 50.6% more GUI tests passed on average for web systems, a 100% compilation success rate, and a 68.3% test pass rate on AppForge. A user study with 21 participants further shows that users with limited programming experience can write DSL-based requirement documents containing up to 174 scenarios within an average of 5.6 hours to generate maintainable runnable systems, including a real-world ticket-booking application of approximately 10K lines of code.
arXiv:2602.18396v2 Announce Type: replace
Abstract: We propose PRISM-FCP (Partial shaRing and robust calIbration with Statistical Margins for Federated Conformal Prediction), a communication-efficient Byzantine-robust federated conformal prediction framework that uses partial model sharing to mitigate stochastic model-poisoning attacks during training and histogram-based filtering to mitigate adversarial calibration submissions. Existing approaches address adversarial behavior only in the calibration stage, leaving the learned model susceptible to poisoned updates. In contrast, PRISM-FCP mitigates attacks end-to-end. During training, clients partially share updates by transmitting only $M$ of $D$ parameters per round. This attenuates the expected energy of an adversary's perturbation in the aggregated update by a factor of $M/D$, yielding lower mean-square error (MSE) and tighter prediction intervals. During calibration, clients convert nonconformity scores into characterization vectors, compute distance-based maliciousness scores, and downweight or filter suspected Byzantine contributions before estimating the conformal quantile. Extensive experiments on both synthetic data and the UCI Superconductivity dataset demonstrate that PRISM-FCP maintains near-nominal empirical coverage in the studied Byzantine settings while avoiding the interval inflation observed in standard FCP, with reduced communication. These results support PRISM-FCP as a robust and communication-efficient approach to federated uncertainty quantification.
arXiv:2607.07287v2 Announce Type: replace
Abstract: Dexterous manipulation in everyday environments requires both anticipation and reaction: a robot must predict how contact should evolve while rapidly correcting local errors caused by slip, misalignment, unstable grasping, or force mismatch. Vision and language provide semantic and geometric guidance, but they cannot reliably reveal hidden contact states such as force, slip, and contact stability. Although tactile sensing exposes these physical cues, most existing policies treat touch as a low-frequency observation stream within a monolithic action model, coupling slow task reasoning, action generation, and fast contact feedback in a single loop. We introduce TouchWorld, a predictive-and-reactive tactile foundation model for dexterous manipulation. TouchWorld uses a hierarchical policy that separates vision-language subtask planning, tactile world-model prediction, visuo-tactile goal-conditioned action generation, and high-frequency tactile residual refinement. A High-Level Planning Layer produces executable subtasks and predicts tactile subgoals; a Visuo-Tactile Goal-Conditioned Policy generates nominal action chunks; and a Tactile-Conditioned Refinement Policy performs online residual correction using recent tactile and proprioceptive feedback. By using touch as both a predictive contact reference and a fast feedback signal, TouchWorld preserves the semantic generalization of vision-language-action policies while improving local contact adaptation. Across six long-horizon and contact-rich dexterous manipulation tasks, TouchWorld achieves 65.0% success in the clean setting and 53.7% success under human perturbations, outperforming the strongest baseline by 15.7 and 18.5 percentage points, respectively.
arXiv:2410.06329v4 Announce Type: replace-cross
Abstract: Obtaining a reliable estimate of the joint probability mass function (PMF) of a set of random variables from observed data is a significant objective in statistical signal processing and machine learning. Modelling the joint PMF as a tensor that admits a low-rank canonical polyadic decomposition (CPD) has enabled the development of efficient PMF estimation algorithms. However, these algorithms require the rank (model order) of the tensor to be specified beforehand. In real-world applications, the true rank is unknown. Therefore, an appropriate rank is usually selected from a candidate set either by observing validation errors or by computing various likelihood-based information criteria, a procedure that could be costly in terms of computational time or hardware resources, or could result in mismatched models which affect the model accuracy. This paper presents a novel Bayesian framework for estimating the low-rank components of a joint PMF tensor and simultaneously inferring its rank from the observed data. We specify a Bayesian PMF estimation model and employ appropriate prior distributions for the model parameters, allowing the rank to be inferred without cross-validation.We then derive a deterministic solution based on variational inference (VI) to approximate the posterior distributions of various model parameters. Numerical experiments involving both synthetic data and real classification and item recommendation data illustrate the advantages of our VI-based method in terms of estimation accuracy, automatic rank detection, and computational efficiency.
arXiv:2607.08699v1 Announce Type: cross
Abstract: To date, 14 polycyclic aromatic hydrocarbons (PAHs) ranging in size from two to seven (including five- and six-membered) carbon rings have been detected in the starless dense core TMC-1 CP within the Taurus molecular cloud. Their detection raises questions about the distribution of PAHs in the cold interstellar medium (ISM) and their evolution during star formation. Here, we present the first interstellar detection of a three-ring PAH outside of TMC-1 CP. We detect phenalene (C$_{13}$H$_{10}$), a compact, peri-fused PAH, in the dense core MC27/L1521F, a molecular cloud in Taurus containing a very low-luminosity object (VeLLO). We compare the abundances of phenalene in the two sources with respect to the single-ring aromatic benzonitrile, and find that it is enhanced by a factor of four in MC27/L1521F. We discuss the implications for possible formation and destruction pathways in the two sources. These findings further support the widespread abundance of PAHs throughout the cold ISM and are consistent with survival, inheritance, or replenishment during the earliest stages of star formation.
arXiv:2606.28746v2 Announce Type: replace
Abstract: Lunar helium-3 is a highly valuable strategic resource, pivotal to the advancement of both deep-space exploration and space mining. Existing lunar helium-3 exploration methodologies rely primarily on indirect measurements via remote sensing, which are often characterized by limited precision, low reliability, and insufficient spatial resolution. In this paper, we introduce He3-Seeker, an active robotic exploration method for helium-3 distribution mapping. First, we provide a formal definition of the active helium-3 exploration problem. Subsequently, we developed the He3-Seeker framework, which is conceptually based on multi-point drilling, sampling, and in situ analysis. In particular, we use robotic information planning (RIP) to guide autonomous robot navigation and active sensing. Additionally, to thoroughly evaluate the proposed algorithm, we introduce a reliable method for generating reference data of lunar helium-3 distribution based on low-resolution orbital remote sensing measurements. Simulation experiments verify that He3-Seeker achieves both rapid and high-fidelity mapping of helium-3 distribution, providing a reliable solution for resource exploration tasks. Our code and simulation environment will be publicly accessible at https://github.com/OpenSpace-Lab/He3-Seeker.
arXiv:2504.15264v2 Announce Type: replace-cross
Abstract: Extremal problems on set systems with restricted intersections have been an important part of combinatorics in the last 70 years. In this paper, we study the following Ramsey version of these problems. Given a set $L\subseteq \{0,\dots,k-1\}$ and a family $\mathcal{F}$ of $k$-element sets which does not contain a sunflower with $m$ petals whose kernel size is in $L$, how large a subfamily of $\mathcal{F}$ can we find in which no pair has intersection size in $L$? We give matching upper and lower bounds, determining the dependence on $m$ for all $k$ and $L$. This problem also finds applications in quantum computing.
As an application of our techniques, we also obtain a variant of F\"uredi's celebrated semilattice lemma, which is a key tool in the powerful delta-system method. We prove that one cannot remove the double-exponential dependency on the uniformity in F\"uredi's result, however, we provide an alternative with significantly better, single-exponential dependency on the parameters, which is still strong enough for most applications of the delta-system method.
arXiv:2507.19895v4 Announce Type: replace-cross
Abstract: In this paper, we study the distributed linear quadratic problem with fixed communication topology (DFT-LQ) and the sparse feedback linear quadratic (SF-LQ) problem through a unified optimization framework. Specifically, both problems are formulated as a nonconvex, nonsmooth optimization problem equipped with an $\ell_0$-penalty under affine constraints. To solve this problem, we first investigate the application of the Douglas-Rachford (DR) splitting algorithm. Under the local condition that the generated iterates remain on a fixed smooth manifold, we establish the convergence of the DR splitting to a stationary point. Furthermore, we characterize this stationary point as the global minimizer of a corresponding DFT-LQ problem. To bypass the restriction of the smooth manifold assumption, we introduce a projected subgradient descent algorithm that achieves global convergence without relying on smooth-manifold structures. This algorithm may serve as a warm-start mechanism that effectively drives the iterates toward the desired smooth manifolds, thereby establishing a favorable initialization where the convergence theory of the DR splitting algorithm becomes fully applicable. Numerical experiments shed light on the effectiveness of the proposed methods in distributed group-sparse controller design.
arXiv:2510.25847v2 Announce Type: replace-cross
Abstract: We present the implementation of an anisotropic viscosity solver within the magnetohydrodynamics (MHD) framework of the TreeSPH code OpenGadget3. The solver models anisotropic viscous transport along magnetic field lines following the Braginskii formulation and includes physically motivated limiters based on the mirror and firehose instability thresholds, which constrain the viscous stress in weakly collisional plasmas. To validate the implementation, we performed a suite of standard test problems -- including two variants of the sound wave test, circularly and linearly polarized Alfven waves, fast magnetosonic wave, and the Kelvin-Helmholtz instability -- both with and without the plasma-instability limiters. The results show excellent agreement with the AREPO implementation of a similar anisotropic viscosity model, confirming the accuracy and robustness of our method. Our formulation integrates seamlessly within the individual adaptive timestepping framework of OpenGadget3, avoiding the need for subcycling. This provides efficient and stable time integration while maintaining physical consistency. Finally, we applied the new solver to a cosmological zoom-in simulation of a galaxy cluster as a proof-of-concept application, demonstrating its capability to model anisotropic transport and plasma microphysics in realistic large-scale environments. Our implementation offers a versatile and computationally efficient tool for studying anisotropic viscosity in magnetized astrophysical systems.
arXiv:2606.31117v2 Announce Type: replace
Abstract: We introduce a radical-fragment many-body expansion at the two-body level (MBE2) for quantum chemistry of linear alkanes. Instead of heterolytic bond cleavage with hydrogen capping atoms and electrostatic embedding like in Fragment Molecular Orbital (FMO), we perform homolytic C-C bond cleavage to produce open-shell radical fragments (CH3, CH2) treated with restricted open-shell Hartree-Fock (ROHF) in isolation. The two-body MBE2 assembly formula reconstructs total alkane energies from only four unique fragment calculations regardless of chain length, reducing the maximum qubit requirement. We benchmark this framework against five energy solvers (RHF, CCSD, VQE, ADAPT-VQE, and SQD) across 11 linear alkanes from butane (C4H10) to hexacosane (C26H54). The MBE2 decomposition achieves a 12.3x qubit reduction for C26H54 (from 368 to 30 qubits) and a 12.8x reduction in unique calculations via symmetry exploitation. MBE2-VQE and MBE2-SQD (executed on IBM quantum hardware) closely track their respective classical MBE2 references, demonstrating that fragmentation-based quantum chemistry is viable for scaling quantum solvers to large molecular systems.
arXiv:2603.02204v2 Announce Type: replace
Abstract: Selective conformal prediction can yield substantially tighter uncertainty sets when we can identify calibration examples that are exchangeable with the test example. In interventional settings, such as perturbation experiments in genomics, exchangeability often holds only within subsets of interventions that leave a target variable "unaffected" (e.g., non-descendants of an intervened node in a causal graph). We study the practical regime where this invariance structure is unknown and must be estimated from data. Our main result quantifies how coverage degrades when the estimated safe calibration set accidentally includes interventions that affect the target, and gives a conservative correction when an upper bound on this error is available. Rather than learning a full causal graph, we learn only the intervention-target relationships needed to choose calibration interventions. We give algorithms for this partial learning task and evaluate them on synthetic structural equation models and Replogle K562 CRISPR-interference data, where the experiments illustrate synthetic gains from selective calibration and finite-sample tradeoffs on real perturbation screens.
arXiv:2603.05325v2 Announce Type: replace
Abstract: Data-driven closures for large-eddy simulation (LES) are commonly built to respect the symmetries of the Navier--Stokes equations, on the premise that this improves accuracy and generalization. We test this premise in a controlled comparison of three data-driven LES closures that share a pointwise, Galilean-invariant velocity-gradient construction but span non-equivariant, octahedral-equivariant, and tensor-basis designs: an unconstrained multi-layer perceptron (MLP), a group-convolutional network whose exactly equivariant weights we synthesize in closed form, and a tensor-basis neural network (TBNN). The designs follow from an analysis of which symmetries survive discretization on a uniform grid, where the continuous orthogonal group reduces to the 48-element octahedral group. Across a range of network sizes the three closures saturate to the same a priori and a posteriori accuracy, and a direct conditional-mean estimate identifies the a priori floor as the one-point optimal closure of Langford and Moser. The equivariant and tensor-basis models reach this floor with $25$ times fewer parameters than the MLP: the inductive bias buys parameter efficiency rather than a lower error floor. Finally, we train the closures across several viscosities and supply the global filter-scale Reynolds number $\operatorname{Re}_\Delta = \Delta^2 \| \nabla \bar{u} \| / \nu$ as an input, a scaling-invariant feature dictated by the same symmetry analysis. The closures then generalize across Reynolds number: they hold their dissipation calibration at held-out viscosities and filter ratios where Reynolds-blind closures mis-dissipate, and partially correct it on an out-of-distribution Taylor--Green flow. Reynolds-number generalization is thus largely a calibration that the right input feature supplies.
arXiv:2603.05426v2 Announce Type: replace
Abstract: We investigate the scattering of hydrogen isotopes at the W(110) surface using both classical and quantum dynamics approaches to elucidate the role of quantum effects in this system. To characterize the scattering process we focus on key observables, including the absorption probability and diffraction channels that we evaluate at the quasi-classical and quantum levels. The quantum dynamics reveal pronounced resonance structures in the absorption curve that we rationalize in terms of diffraction-mediated selective adsorption and focused sticking mechanisms. Diffraction probabilities for reflected trajectories exhibit strong quantum effects at low incident energies, where classical dynamics underestimate the back scattering probability. These effects become less pronounced with increasing isotope mass, from hydrogen to tritium, however discrepancies between the classical and quantum description persist at low incident energies.
arXiv:2607.01916v3 Announce Type: replace
Abstract: Large language model agents can repair real repository issues, but they often spend large context budgets on whole-file reads, broad searches, and long terminal outputs where useful evidence is mixed with irrelevant code and logs. This paper presents ContextSniper, AntTrail's code-repair module for precision evidence selection in repository-level program repair, part of AntTrail's broader agent-memory engine. AntTrail is available at https://gitcode.com/datagallery/AntTrail. ContextSniper indexes code and action memory as three abstract levels, retrieves candidates with a hybrid ranker, filters long tool output through an intention-aware context gate, and returns compact evidence packets while keeping full source recoverable on demand. In a matched 50-task-per-condition comparison on SWE-bench Lite (same tasks, baseline vs.\ ContextSniper), ContextSniper reduces total token use by 51.5% and logged cost by 36.4% for OpenClaw, and by 38.9% and 27.3% for Claude Code, with submitted-resolution rates essentially unchanged in both host-agent settings. In a separate five-task comparison, ContextSniper beats existing memory- and RAG-style integrations on token efficiency. These results suggest ContextSniper can substantially cut token and cost overhead for repository-level repair agents without a measurable loss in repair quality. The evaluation harness for this study is available at https://gitcode.com/lukchiwang/ContextSniper.
arXiv:2603.07621v2 Announce Type: replace
Abstract: Containerized microservices are widely adopted for latency-sensitive and compute-intensive applications, with Kubernetes (K8s) as the dominant orchestration platform. However, automating the deployment and management of multi-service applications remains challenging, particularly in heterogeneous Edge-Cloud environments. This paper evaluates the CODECO toolkit, an open-source framework designed to enhance container orchestration across distributed infrastructures. We compare CODECO with baseline K8s workflows using three key performance indicators: deployment time, level of manual intervention, and runtime performance with resource utilization. Experiments across diverse hardware platforms (ARM, AMD, RPi) and K8s distributions, including lightweight variants such as k3s, demonstrate that CODECO substantially reduces manual effort while maintaining competitive performance and acceptable overhead. These results validate CODECO as an effective solution for Edge-Cloud orchestration and highlight its potential to improve the flexibility and intelligence of K8s-based deployments.
arXiv:2603.10254v3 Announce Type: replace
Abstract: Synthetic tabular data generation addresses data scarcity and privacy constraints in a variety of domains. Tabular Prior-Data Fitted Network (TabPFN), a recent foundation model for tabular data, has been shown capable of generating high-quality synthetic tabular data. However, TabPFN is autoregressive: features are generated sequentially by conditioning on the previous ones, depending on the order in which they appear in the input data. We demonstrate that when the feature order conflicts with causal structure, the model produces spurious correlations that impair its ability to generate synthetic data and preserve causal effects. We address this limitation by integrating causal structure into TabPFN's generation process through two complementary approaches: Directed Acyclic Graph (DAG)-aware conditioning, which samples each variable given its causal parents, and a partially directed acyclic graph (PDAG)-based strategy for scenarios with partial causal knowledge. We evaluate these approaches on controlled benchmarks and six CSuite datasets, assessing structural fidelity, distributional quality, and Average Treatment Effect (ATE) preservation. Across most settings, DAG-aware conditioning improves the quality and stability of synthetic data relative to vanilla TabPFN. Under partial causal knowledge, the oracle partially directed acyclic graph (oracle-PDAG), which orients only the edges into the colliders, shows moderate gains, while the benefit of a Completed Partially Directed Acyclic Graph (CPDAG) discovered from data depends on how well the causal structure is recovered. These results indicate that reliable causal structure, even partial, can be injected into TabPFN at inference time, without parameter updates, to improve synthetic data quality.
arXiv:2603.12205v2 Announce Type: replace
Abstract: We propose a unified iterative framework for the solution of frictionless mechanical contact problems, which relies exclusively on the solution of standard stiffness systems. The framework is built upon a two-step fixed-point algorithm: first, the displacement is computed for given contact forces; second, the contact forces are updated based on the displacement solution. The choice of the dual update scheme depends on the numerical contact formulation under consideration. Specifically, the Uzawa iterative scheme is obtained for the Lagrange multiplier formulation, while a penalty-based operator-splitting strategy is proposed for the penalty contact formulation. The main interest of such displacement-force splitting strategy is to involve only standard rigidity matrices in the solving step: no saddle-point or penalized ill-conditionned coefficient matrices have to be handled, so no specialized preconditioning is required. Moreover only the right-hand side of the system is updated throughout the iterations, which enables matrix factorization reuse or efficient iterative solvers initialization. The main limitation of such splitting iterative strategies lies in the inherently slow convergence of the underlying fixed-point iterations. Moreover, convergence is guaranteed only within a narrow range of numerical parameter values. This work addresses both issues by applying the Crossed-Secant fixed-point acceleration strategy, which substantially improves the convergence rate and renders the iterative schemes effectively parameter-unconstrained. To the best of our knowledge, this contribution provides the first computational demonstration of efficient, parameter-unbounded convergence for such contact formulations. The substantial practical benefits of the proposed approach are illustrated through representative three-dimensional academic and industrial frictionless contact problems.