💻 computer science

Introducing Grounding into the Agentic Design Loop: An Exploratory Review of an Unclaimed Problem

This exploratory review identifies and consolidates the unclaimed problem of "Design Grounding"—the critical lack of mechanisms to verify that LLM-generated designs correspond to real-world constraints before fabrication—by screening thousands of papers to reveal that only a handful address this structural challenge, which remains fragmented across adjacent fields.

Zhongkai Wang, Yan Liu2026-11-12
💻 computer science

Sovereign-Mohawk: Machine-Checked Hierarchical Byzantine Resilience and Probabilistic Composition for Federated Learning

This paper introduces Sovereign-Mohawk, a formally verified hierarchical federated learning architecture that disproves the assumption of deterministic Byzantine resilience, proposes a probabilistic repair using machine-checked Chernoff bounds, and implements a secure, high-performance system with zero-knowledge proofs and differential privacy that maintains accuracy under significant adversarial conditions.

Ryan Williams2026-11-12
💻 computer science

Lesion-Grounded Content-Based Retrieval of CT Findings Using Foundation Model Patch Embeddings for Case Review

This study demonstrates that a reusable, task-free lesion-grounded content-based retrieval system for CT scans can be effectively constructed using patch embeddings from a frozen volumetric foundation model, significantly outperforming chance and descriptor-only baselines in retrieving relevant educational cases without requiring fine-tuning.

Zhongsheng Eric Yu2026-11-12
💻 computer science

Multi-Class Gastric Histopathology Classification Using a Hybrid Swin Transformer–ConvNeXt Model

This paper presents a hybrid Swin Transformer–ConvNeXt deep learning model, integrated with a Flask-based web interface, that achieves 75.35% accuracy in classifying gastric histopathology images into eight distinct tissue types to assist pathologists in gastric cancer diagnosis.

Usman Nazakat, Muhammad Saad, Uzair Khan, Muhammad Junaid Asif, Muhammad Ahsan Aziz, Rana Fayyaz Ahmad2026-11-12
💻 computer science

MO-AIWOA-XAI: A Multi-Objective Explainable Diabetes Risk Prediction integrating Feature Optimization and Cross-Dataset Validation

This paper proposes the MO-AIWOA-XAI framework, which integrates multi-objective adaptive improved whale optimization for feature selection, an Optuna-optimized Extra Trees classifier, and explainable AI techniques to deliver a robust, accurate, and clinically interpretable diabetes risk prediction model validated across multiple datasets.

Sumalatha U, krishnaprakasha k2026-11-12
💻 computer science

Residual-Guided Boosted-LLL Refinement with Reliability-Time Analysis for GNSS Integer Ambiguity Resolution

This paper proposes a residual-guided Boosted-LLL refinement method for GNSS integer ambiguity resolution that strategically selects coordinates with large rounding residuals to improve solution quality and computational efficiency, demonstrating significant gains in objective-gap satisfaction and reduced conversion costs across diverse simulation settings.

Songyan Zhou, Hong Wu, Yansen Zhou2026-11-12