---
title: 'CARTS: A Multidisciplinary Overview'
url: https://www.emergentmind.com/topics/carts
type: topic
---

# CARTS: A Multidisciplinary Overview

CARTS is not a single, monosemous research term. In arXiv-indexed literature and adjacent technical writing, it denotes several unrelated constructs: a causality-driven method for robot tool segmentation and its temporal extension in surgical vision, a multi-agent framework for recommendation textual summarization, the Shopping Cart pattern in business-to-consumer e-commerce, the plural form of Classification and Regression Trees in statistical learning, an adaptive 5G uplink sensing scheme for ISAC, and literal collision carts in physics education [2203.09475] [2212.00072] [2506.17765] [1108.3342] [2110.11952] [1405.3295] [2507.13676] [1204.4964]. This breadth suggests that the term functions primarily as a domain-local label whose meaning is determined by capitalization, expansion, and research context.

## 1. Nomenclature and semantic range

Across the literature considered here, the label appears in several orthographic forms. Those forms are not interchangeable; they identify distinct research objects with different formalizations, datasets, and evaluation criteria.

| Form | Domain | Meaning |
|---|---|---|
| **CaRTS / TC-CaRTS** | Surgical robotics | Causality-driven Robot Tool Segmentation; Temporally Constrained CaRTS |
| **CARTS** | Recommender systems / 5G ISAC / e-commerce pattern writing | Collaborative Agents for Recommendation Textual Summarization; Cooperative and Adaptive Resource Triggering and Stitching; Shopping Cart pattern (“CARTS”) |
| **CARTs** | Statistics and ML | Classification and Regression Trees |

The most important terminological distinction is between acronymic usages and the statistical-learning usage. In statistical learning, “CARTs” refers to Classification and Regression Trees, an established family of tree methods rather than a newly coined acronym [2110.11952]. By contrast, in surgical vision, recommender systems, and 5G ISAC, the uppercase forms name specific frameworks introduced in individual papers [2203.09475] [2506.17765] [2507.13676].

A common misconception is to assume that “CARTS” always refers to shopping carts or decision trees. The literature does not support that assumption. Instead, the same surface form is reused across unrelated technical domains, with only local definitional stability. This suggests that disambiguation by field, title, and capitalization is essential.

## 2. CaRTS and TC-CaRTS in robot tool segmentation

In surgical robotics, CaRTS denotes “Causality-driven Robot Tool Segmentation from Vision and Kinematics Data,” a method that rejects the standard image-only causal graph \(I \to S\) and instead adopts a complementary SCM in which latent robot and camera parameters \(T\) and environment \(E\) jointly generate both the observed image \(I\) and the segmentation \(S\) [2203.09475]. In this formulation, the relevant inference target is not a direct pixel-to-mask mapping, but the recovery of true kinematics from image evidence and measured kinematics \(T_m\).

The core CaRTS pipeline combines forward kinematics, differentiable rendering, and feature-space alignment. A differentiable renderer produces a synthetic image \(\hat I\) and silhouette \(\hat S\) for a candidate \(T\), and a pretrained U-Net encoder extracts feature maps used by an Attentional Cosine Similarity loss. The optimization problem is written as
$$
\arg\min_T \; ACSLoss[\,f(I), f(R(T))\,].
$$
Inference is performed by gradient-based updates on \(T\), initialized from measured \(T_m\), and the final rendered silhouette is taken as the segmentation. The implementation uses Pytorch3D, a standard U-Net encoder, Adam with learning rate \(\alpha=10^{-2}\), and typically \(30\)–\(50\) optimization steps. On held-out in-domain test data, CaRTS achieves Dice \(= 93.4\%\); under counterfactual domain shifts including low brightness, smoke, blood, and altered background patterns, it remains at approximately \(91.8\%\), whereas an image-based HRNet + augmentation model drops from approximately \(95.0\%\) to approximately \(86.7\%\) [2203.09475].

The principal limitation of CaRTS is efficiency and observability. The method requires over \(30\) iterations of optimization to converge for a single image, and single-frame optimization admits many local minima under strong domain shifts. The temporal extension “Rethinking Causality-driven Robot Tool Segmentation with Temporal Constraints” introduces TC-CaRTS precisely to address these issues [2212.00072].

TC-CaRTS augments CaRTS with three modules: a temporal optimization pipeline, a kinematics correction network (KCN), and spatial-temporal regularization. The temporal pipeline separates time-variant kinematics and time-invariant base configuration, then alternates between updating KCN weights and taking a gradient step on the base configuration. The KCN is a small MLP \(F_\theta\) with five hidden layers of widths \([32 \to 64 \to 128 \to 128 \to 64 \to 32]\). Its input is a positional-encoded flattened sequence \(K_m^s \in \mathbb{R}^{n \times d}\), with \(d=14\) joint-and-tool angles for two PSMs and sequence length typically \(5\), and its output is a correction vector \(\Delta K^t \in \mathbb{R}^d\). The corrected kinematics are defined by
$$
\hat K^t = K_m^t + F_\theta(K_m^s + PE(n)).
$$

The spatial-temporal regularizer enforces small per-frame measurement error and smooth inter-frame motion:
$$
R = \lambda_1 \frac{1}{d} \sum_{i=1}^d (\hat K^{t,i} - K_m^{t,i})^2
+ \lambda_2 \frac{1}{d} \sum_{i=1}^d (\hat K^{t,i} - \hat K^{t-1,i})^2.
$$
Here, \(\lambda_1\) penalizes deviation from measured kinematics and \(\lambda_2\) penalizes large jumps across frames. The empirical protocol uses the same nine 400-frame da Vinci videos as CaRTS, with \(7\) train, \(1\) validation, and \(1\) test sequence, and evaluates on regular plus counterfactual domains including smoke, bleeding, low brightness, and background change. Baselines include Colleoni et al., HRNet, Swin-Transformer, STCN, and CaRTS [2212.00072].

The principal empirical result is a speed-accuracy improvement. CaRTS requires approximately \(50\) iterations, approximately \(4.4\) s/frame, and \(0.37\) FPS to reach approximately \(93.6\%\) Dice on the regular domain, whereas TC-CaRTS reaches the same Dice in just \(5\) iterations at \(0.568\) s/frame and approximately \(1.8\) FPS, then plateaus. On the bleeding domain, single-iteration TC-CaRTS at \(92.1\%\) exceeds CaRTS with \(10\) iterations at \(91.6\%\). Across domains, reported Dice values are \(93.4 \pm 3.0\) versus \(93.6 \pm 2.7\) on regular, \(91.6 \pm 4.7\) versus \(91.9 \pm 4.5\) on smoke, and \(90.8 \pm 4.4\) versus \(92.2 \pm 3.3\) on bleeding for CaRTS and TC-CaRTS respectively, with low-light and background-change performance comparable and slightly higher or on par for TC-CaRTS. Ablations confirm that the temporal pipeline, KCN, and regularization each contribute to faster, more stable convergence [2212.00072].

The broader significance of CaRTS and TC-CaRTS lies in their hybrid model-based and learned formulation. Rather than abandoning geometry for purely image-based segmentation, they use forward kinematics and differentiable rendering to preserve robustness under blood, smoke, and lighting shifts while partially correcting inaccurate kinematics. The stated limitations remain important: the approach is still not real-time, and the original causal model assumes no occlusion [2203.09475] [2212.00072].

## 3. CARTS as collaborative textual summarization for recommendation

In recommender systems, CARTS denotes “Collaborative Agents for Recommendation Textual Summarization,” a multi-agent LLM framework for generating short titles for grouped item displays such as product carousels [2506.17765]. The task is formalized as constrained coverage maximization: given \(N\) items \(I_1 \ldots I_n\), catalog information \(C_i\), title \(T_i\), and reviews or descriptions \(P_i\), the goal is to produce a title \(M_{\text{title}}\) satisfying
$$
\max_{M \in \mathcal{C}} \sum_{i=1}^n R(M, I_i)
\quad \text{subject to} \quad len(M) \le K,
$$
where \(R(M, I_i) \in \{0,1\}\) indicates semantic relevance and \(\mathcal{C}\) encodes stylistic or policy constraints beyond length.

The framework decomposes the problem into three stages. The first is Generation-Augmented-Generation (GAG), in which a DISTILL agent extracts salient keywords for each item and a title generator produces an initial candidate \(M^{(0)}\) intended to maximize item coverage subject to the character budget. The second is the Refinement Circle, where an EVAL agent identifies uncovered items and checks length compliance, and a GEN agent revises the current title using both feedback and keyword context. The third is Arbitration, which runs GAG plus refinement \(k\) times with sampling diversity, uses a moderator to summarize candidate properties such as coverage count and length compliance, and applies an arbitrator to choose the final title [2506.17765].

The paper also states a convergence-style guarantee under stylized assumptions: with a \(\beta\)-reliable feedback agent and a \(\gamma\)-reliable generator, one can show
$$
T \ge \Bigl\lceil \frac{\alpha \cdot OPT - C_0}{\beta \gamma} + \frac{2 \ln(1/\epsilon)}{\beta \gamma} \Bigr\rceil
\;\Rightarrow\;
Pr[C_T \ge \alpha \cdot OPT] \ge 1-\epsilon.
$$
A related corollary gives the expected number of iterations to reach \(OPT\). These results frame the refinement loop as more than heuristic prompt chaining; it is presented as a structured collaborative process with explicit coverage semantics [2506.17765].

Implementation uses GPT-4o via API as the primary backbone, with Gemini-2.0, LLaMA-3, and GPT-3.5 also evaluated. Prompts include “Output \(\le 5\) short keywords…,” “Generate a module title \(\le 10\) words, must cover as many items as possible and be \(\le K\) chars,” and “Point to at least one uncovered item… within 30 words.” Hyperparameters are \(l=5\) keywords per item, \(K \approx 100\) characters, up to \(3\) refinement rounds, \(k=3\) candidate samples, temperature \(=0.7\), and top-\(p=0.9\). No additional fine-tuning is used; behavior is induced by prompt engineering [2506.17765].

The experimental setup uses Amazon Review data from Beauty, Electronics, Fashion, and Home & Kitchen: \(1{,}000\) anchors per category, each paired with \(10\) similar items, for \(40{,}000\) items total. Baselines are Vanilla GPT, CoT, LLM-CoT, and DRE. Metrics are BERTScore and an LLM Judge Score based on GPT-4o Chain-of-Steps judgment. Offline results show clear gains. In Beauty, CARTS achieves \(0.891 / 0.634\) on LLM Judge / BERTScore, compared with \(0.73 / 0.56\) for Vanilla and \(0.809 / 0.57\) for LLM-CoT; in Electronics, Fashion, and Home & Kitchen, reported CARTS values are \(0.939 / 0.655\), \(0.928 / 0.700\), and \(0.953 / 0.631\), respectively. Ablations show that removing refinement drops LLM Judge by up to \(7.2\) points and removing the arbitrator drops it by up to \(5.4\) points. Online A/B testing with 50/50 traffic reports statistically significant lifts of \(+0.8\% \pm 0.46\%\) CTR, \(+6.28\% \pm 2.07\%\) ATCR, and \(+3.78\% \pm 0.19\%\) GMV at \(95\%\) CI [2506.17765].

The limitations are explicitly operational: API latency, multi-round cost, and the possibility of hallucinated feedback or generation when prompts are misunderstood. The authors also note that the binary relevance function \(R\) could be replaced by richer continuous scorers. These caveats are important because they locate CARTS within practical recommender-system deployment rather than purely offline NLP benchmarking [2506.17765].

## 4. CARTS as the Shopping Cart pattern in B2C e-commerce

In software-pattern literature, CARTS refers to the Shopping Cart pattern described in “Patterns for Business-to-consumer E-Commerce Applications” [1108.3342]. Its intent is to model the online “shopping basket” metaphor: a customer accumulates selected products, reviews quantities and costs, and then turns that collection into an order and invoice. The stated problem is how a web shop can represent the intermediate state of a customer’s selection so that chosen items are visible, quantities can be updated or removed, and the process terminates in order and invoice generation.

The core class structure consists of `Customer`, `ShoppingCart`, `CartItem`, `Product`, `Order`, and `Invoice`. `Customer` owns a `ShoppingCart`; `ShoppingCart` contains `CartItem`; `CartItem` refers to `Product`; `ShoppingCart` becomes `Order`; and `Order` generates `Invoice`. The participant roles are correspondingly explicit: `ShoppingCart` aggregates `CartItems` and maintains the running total; `CartItem` holds a reference to exactly one `Product` and a quantity; `Order` is created by checking out a `ShoppingCart` and copies line-items; `Invoice` is generated from an `Order` for billing [1108.3342].

The shopping flow is presented as a sequence. A customer invokes `addItem(productId, qty)`, the cart queries `Product.getPrice()`, creates a `CartItem`, recalculates total price, and displays the updated cart. At checkout, the cart creates an `Order`, copies each `CartItem` into it, calls `calcCost()`, and triggers `Invoice.generateFromOrder(order)`. This yields a canonical middle-layer pattern between catalog browsing and order fulfillment [1108.3342].

The numerical layer is given by explicit cart calculations. If \(n\) is the number of distinct cart items, with \(\text{Quantity}_i\) and \(\text{UnitPrice}_i\) for item \(i\), then
$$
Subtotal = \sum_{i=1}^{n} (\text{Quantity}_i \times \text{UnitPrice}_i),
$$
$$
Tax = r \times Subtotal,
$$
$$
Shipping = f(W, R),
$$
and
$$
GrandTotal = Subtotal + Tax + Shipping.
$$
When discounts \(D\) apply, the grand total becomes
$$
GrandTotal = Subtotal - D + Tax + Shipping.
$$
These formulas formalize the bookkeeping semantics that the pattern assigns to `ShoppingCart`, `CartItem`, and `Order` [1108.3342].

The pattern is explicitly composite. In the larger e-commerce domain model, the Catalog pattern provides `Product` and `ProductInfo`, the Shopping Cart pattern aggregates selected products into `CartItems`, and the Order & Shipment pattern uses those cart items as line items to create `Orders`, link to `Shipments`, and generate `Invoices`. A key integration note is that `CartItem` corresponds one-to-one with `LineItem` in Order & Shipment, so the duplicate class is removed and `CartItem` is reused by `Order`. `CustomerProfile` links back to the Catalog to support personalized recommendations [1108.3342].

Security and validation are handled through RBAC instances and procedural checks. A `Customer` role has `viewShoppingCart`, `addItem`, and `removeItem` rights on its own cart; `Manager` or `Employee` has `viewShoppingCart` on any cart and `updateProduct` on `Product`. Availability validation in `addItem` checks product stock and available quantity, throwing `OutOfStockException` if violated. At checkout, the system verifies format and expiration of `creditInfo`, verifies `shippingInfo` completeness, and calls `checkCustomerCredit(customerId, orderTotal)` [1108.3342].

The pattern is also positioned as a Semantic Analysis Pattern in a Computation-Independent Model for MDA. The guidance is to label it “CART,” annotate mandatory associations and operations, bind `Money` to a chosen currency library at the PSM stage, and implement `ShoppingCart` persistence via session or database tables. Extensions include `SavedCart` and `ActiveCart`, a `TaxPolicy` pattern for multi-currency or international tax rules, `StockManager` for real-time inventory checks, and `Façade` or `Adapter` for external ERP integration [1108.3342].

## 5. CARTs in statistical learning

In statistics and machine learning, CARTs are Classification and Regression Trees. “Optimal randomized classification trees” describes CARTs as off-the-shelf techniques built by a greedy, top-down binary partitioning procedure that selects splitting predictor variables and associated thresholds node by node [2110.11952]. At a branch node \(t\), the classical split can be expressed as
$$
\min_{j,b}\; \Delta\bigl(\mathcal{I}_t,\; \mathcal{I}_t^L(j,b),\; \mathcal{I}_t^R(j,b)\bigr),
$$
where \(\Delta\) measures impurity drop. The paper emphasizes the familiar limitations: local greedy choices can be globally suboptimal, hard splits create discontinuous boundaries, and class-specific error control is difficult [2110.11952].

The ORCT formulation replaces hard splits with randomized soft routing. For branch node \(t\),
$$
p_{it}(a_{\cdot t},\mu_t)
=
F\!\Bigl(\frac1p \sum_{j=1}^p a_{jt} x_{ij} - \mu_t\Bigr)
$$
is the probability that observation \(i\) goes left, where \(F\) is a univariate CDF such as the logistic. Leaf-assignment probabilities are products of such routing probabilities over left and right ancestor sets, and the overall training objective is a continuous nonlinear program minimizing expected misclassification cost. The model includes constraints forcing each leaf to predict exactly one class and allowing optional lower bounds on class-specific true-positive rates. A key theorem states that at any optimal solution the leaf-label variables \(C_{kt}\) become integer \(\{0,1\}\), despite being modeled continuously [2110.11952].

Empirically, ORCT is compared with CART (`rpart`), OC1, `oblique.tree`, OCT-H MIO, OCT-H LS, and Random Forests on UCI datasets including Sonar, Wisconsin, Credit Approval, Pima, German Credit, Ozone, Spambase, Gamma Telescope, Iris, Wine, Seeds, Thyroid, and Car. Reported findings are that ORCT substantially outperforms CART and OC1 even at depth \(D=1\), outperforms or matches OCT-H MIO, is often close to OCT-H LS, and on average lies within \(1\)–\(2\) percentage points of a full Random Forest while yielding a single compact tree. Running times are on the order of seconds for \(D=1\), tens of seconds for \(D=2\), and a few minutes for \(D=3\)–\(4\) [2110.11952].

A different but complementary use of CARTs appears in land-cover classification from airborne laser-scanning point clouds. In “Effects of Sampling Methods on Prediction Quality,” the authors use the R package `rpart` to grow classification trees for \(2{,}872{,}488\) geo-coded ALS points labeled into \(17\) ground-cover classes over the lower Rhine area [1405.3295]. Although the splitting rule is not stated explicitly, `rpart`’s default is to maximize decrease in Gini impurity,
$$
Gini(t)=1-\sum_{i=1}^K p(i|t)^2.
$$
The study compares simple random sampling without replacement and a balanced stratified scheme designed to ensure representation of very rare classes such as “walls/buildings,” with only \(13\) points in \(2.9\) million [1405.3295].

The evaluation uses three confusion-matrix-derived metrics:
$$
MCR_{Total} = 1 - \frac{\sum_i M_{ii}}{N},
$$
$$
MCR_{Class} = \frac{1}{K} \sum_{k=1}^K [1-P_k],
$$
and Cohen’s
$$
\kappa = \frac{P(a)-P(e)}{1-P(e)}.
$$
The experimental design comprises \(2\) sampling methods, \(8\) target sample sizes from \(84{,}288\) down to \(471\), and \(50\) replicates per setting, together with three fitting variants for stratified samples: no correction, post-stratification weights, and true class priors [1405.3295].

The resulting trade-off is metric-dependent. If the goal is lowest total error or highest \(\kappa\), simple random sampling is superior, even at very small sample sizes. If the goal is low average per-class error, balanced stratified sampling without weight or prior correction performs best. The paper explicitly cautions against automatically correcting stratification by weighting or prior adjustment when the evaluation metric rewards balanced per-class performance [1405.3295]. This is a useful reminder that “better CART performance” is not a context-free claim; it depends on the sampling design and on whether the criterion is aggregate accuracy, agreement, or rare-class sensitivity.

## 6. Additional technical usages: 5G ISAC and collision carts

In wireless sensing, CARTS denotes “Cooperative and Adaptive Resource Triggering and Stitching for 5G ISAC,” an uplink sensing scheme that fuses two CSI streams traditionally handled separately in 5G base stations: DMRS and SRS [2507.13676]. The stated motivation is that communication and sensing both depend on accurate, up-to-date CSI, yet current implementations treat these measurements as separate information streams. CARTS addresses that limitation through two coordinated components: channel stitching and compensation across asynchronous CSI estimates, and a real-time aperiodic SRS triggering algorithm that complements the uncontrollable DMRS schedule [2507.13676].

The channel model is defined over a \(100\) MHz uplink band with \(273\) RBs at \(\Delta f = 30\) kHz, \(14\) OFDM symbols per slot, and sub-band CSI estimates \(H_b \in \mathbb{C}^{M \times N_b}\) stamped at times \(t_b\). Stitching proceeds in three stages. Spatial smoothing forms a time-weighted covariance matrix with weights \(w_b = \exp(-\alpha (t_{\rm ref}-t_b))\), extracts its principal eigenvector, and rotates each sub-band accordingly. Time-domain alignment removes each sub-band’s internal phase slope and imposes a reference slope. Frequency-domain calibration estimates a complex gain \(\gamma_b = \beta_b e^{j\phi_b}\) from overlapping or nearest measured sub-bands, after which the full-band estimate is assembled by keeping the most recent value for each subcarrier. Performance is evaluated by
$$
\mathrm{NMSE}
=
\frac{\|H_{\mathrm{true}}-\hat H_{\mathrm{full}}\|^2}{\|H_{\mathrm{true}}\|^2}.
$$
The adaptive SRS triggering algorithm uses urgency scores over users and preconfigured SRS resources to enforce coverage and non-redundancy [2507.13676].

The reported results are trace-driven. CARTS achieves median NMSE approximately \(0.167\), \(90\%\)-tile timing error no greater than \(2\) samples, and UE localization error approximately \(0.85\) m for \(10\) active UEs, versus \(0.83\) m for a periodic SRS-only baseline at \(5\) UEs. The abstract summarizes this as an NMSE of \(0.167\) and UE tracking accuracy of \(85\) cm while supporting twice the number of users as a periodic SRS-only baseline with similar performance. The system is described as standard-compliant because it uses only DCI Format \(0\_1\) fields for aperiodic SRS and requires no RRC reconfiguration or vendor scheduling changes [2507.13676].

A non-acronymic usage appears in physics education, where “collision carts” refers literally to idealized one-dimensional carts simulated in Easy Java Simulations [1204.4964]. The model combines continuous motion between collisions,
$$
\frac{dx_1}{dt}=v_1, \qquad \frac{dx_2}{dt}=v_2,
$$
with a discrete collision update based on conservation of momentum and kinetic energy. For the perfectly elastic case, the post-collision velocities are
$$
v_1' = \frac{(m_1-m_2)u_1 + 2m_2u_2}{m_1+m_2}, \qquad
v_2' = \frac{2m_1u_1 + (m_2-m_1)u_2}{m_1+m_2}.
$$
The simulation design emphasizes world-view consistency with pen-and-paper representations, multiple representations through tables, graphs, and symbolic equations, and a game mode for concept testing [1204.4964].

The pedagogical contribution is explicitly hybrid rather than purely virtual. The paper recommends complementing the simulation with physical carts in order to provide tacit 3D experience, expose measurement errors, and reinforce the “just before” and “just after” structure of conservation laws. Student feedback is reported as relatively positive, with \(56\%\) reporting high gains in understanding after the session versus \(5\%\) before, over \(50\%\) finding the activity fun, and over \(70\%\) rating it valuable [1204.4964].

Taken together, these additional usages reinforce the broader pattern seen throughout the literature: “CARTS” is a highly overloaded label. In one domain it names a CSI-fusion and resource-triggering algorithm for 5G sensing, while in another the relevant term is simply literal carts used to teach one-dimensional collisions. The only stable encyclopedia-level treatment, therefore, is contextual rather than singular.

Source: https://www.emergentmind.com/topics/carts