cs papers | Gist.Science

SoK: The Evolution of Maximal Extractable Value, From Miners to Cross-Chain

This Systematization of Knowledge (SoK) paper provides a comprehensive historical analysis of Maximal Extractable Value (MEV) by organizing fragmented literature into three chronological eras—from Miner Extractable Value in Proof-of-Work systems to the modern cross-chain frontier—while offering a unified taxonomy, identifying mitigations, and proposing a research agenda for standardized metrics and cross-chain infrastructure.

Davide Mancino, Hasret Ozan Sevim2026-03-10💻 cs

Rigidity in LLM Bandits with Implications for Human-AI Dyads

This paper demonstrates that large language models exhibit robust decision biases in two-arm bandit tasks, characterized by stubborn exploitation and low learning rates that persist across decoding parameters, thereby posing significant challenges for optimal human-AI collaboration.

Haomiaomiao Wang, Tomás E Ward, Lili Zhang2026-03-10💻 cs

Evaluating Granularity in Markov Chain-Based Trust Models for Vehicular Ad Hoc Networks (VANETs)

This study evaluates Markov chain-based trust models for Vehicular Ad Hoc Networks (VANETs) and demonstrates that increasing the granularity of behavioral states from 4 to 11 significantly enhances the system's ability to capture complex driver dynamics and improve security.

Rezvi Shahariar2026-03-10💻 cs

Verifiable Reasoning for LLM-based Generative Recommendation

This paper proposes VRec, a novel "reason-verify-recommend" paradigm that interleaves reasoning with multi-dimensional verification to mitigate reasoning degradation and enhance the effectiveness and scalability of LLM-based generative recommendation.

Xinyu Lin, Hanqing Zeng, Hanchao Yu, Yinglong Xia, Jiang Zhang, Aashu Singh, Fei Liu, Wenjie Wang, Fuli Feng, Tat-Seng Chua, Qifan Wang2026-03-10💻 cs

Post-quantum Federated Learning: Secure And Scalable Threat Intelligence For Collaborative Cyber Defense

This paper proposes and validates a post-quantum secure federated learning framework that integrates NIST-standardized CRYSTALS-Kyber and CRYSTALS-Dilithium algorithms to protect collaborative threat intelligence from quantum attacks, achieving high detection accuracy with minimal latency while ensuring privacy compliance.

Prabhudarshi Nayak, Gogulakrishnan Thiyagarajan, Ritunsa Mishra, Vinay Bist2026-03-10💻 cs

The Three Praxes Framework - A Thematic Review and Map of Social Accessibility Research

This paper introduces the Three Praxes Framework, derived from a grounded theory analysis of 90 social accessibility studies (2011–2025), to map the field's fragmented practices across Artifact, Ecosystem, and Epistemology sites and advocate for an integrated cycle where lived experiences, material realities, and theoretical knowledge collectively transform access ecosystems.

JiWoong Jang, Patrick Carrington, Andrew Begel2026-03-10💻 cs

A Novel Multi-Agent Architecture to Reduce Hallucinations of Large Language Models in Multi-Step Structural Modeling

This paper proposes a novel multi-agent architecture that automates structural modeling and analysis using OpenSeesPy by decomposing complex tasks into specialized agents to effectively reduce hallucinations and error accumulation, achieving high accuracy and scalability across benchmark frame problems.

Ziheng Geng, Jiachen Liu, Ran Cao, Lu Cheng, Dan M. Frangopol, Minghui Cheng2026-03-10💻 cs

Tunable Input-to-State Safety with Input Constraints

This paper proposes a framework for synthesizing tunable input-to-state safety (TISSf) controllers that explicitly incorporate general compact input constraints by deriving verifiable certificates and design conditions to guarantee input compatibility and recursive feasibility, as demonstrated in a connected cruise control application.

Ming Li, Jin Chen, Dimos V. Dimarogonas2026-03-10💻 cs

From Autonomy to Sovereignty - A New Telos for Socially Assistive Technology

This paper argues that socially assistive technology should shift its goal from fostering independence to achieving "relational sovereignty," a framework that empowers disabled individuals to choose between independence and interdependence by integrating self-determination theory, symbolic interactionism, and crip technoscience into a new design matrix and set of interventions.

JiWoong Jang, Patrick Carrington, Andrew Begel2026-03-10💻 cs

AeroPlace-Flow: Language-Grounded Object Placement for Aerial Manipulators via Visual Foresight and Object Flow

This paper introduces AeroPlace-Flow, a training-free framework that enables aerial manipulators to perform precise, language-grounded object placement by synthesizing goal images, grounding them into 3D space, and generating collision-aware object flows without requiring predefined poses or task-specific training.

Sarthak Mishra, Rishabh Dev Yadav, Naveen Nair, Wei Pan, Spandan Roy2026-03-10💻 cs

Directing the Robot: Scaffolding Creative Human-AI-Robot Interaction

This paper proposes reframing human-AI-robot interaction as "scaffolding" rather than autonomy, positioning humans as creative directors who define intent and steer revisions while AI mediates robotic execution to support sustained human agency and creativity in open-ended environments.

Jordan Aiko Deja, Isidro Butaslac, Nicko Reginio Caluya, Maheshya Weerasinghe2026-03-10💻 cs

The role of team diversity in AI systems development

Through a Grounded Theory analysis of 25 interviews with professionals in four AI-focused teams, this study demonstrates that team diversity significantly enhances AI system development by diversifying perspectives for bias identification, fostering empathy, addressing systemic discrimination, and promoting inclusive decision-making.

Ronnie de Souza Santos, Maria Teresa Baldassarre, Cleyton Magalhaes2026-03-10💻 cs

Structured Gossip: A Partition-Resilient DNS for Internet-Scale Dynamic Networks

This paper introduces Structured Gossip DNS, a partition-resilient name resolution system for large-scale dynamic networks that leverages DHT finger tables and passive stabilization to achieve eventual consistency with reduced message complexity and without requiring global coordination.

Priyanka Sinha, Dilys Thomas2026-03-10💻 cs

AR2-4FV: Anchored Referring and Re-identification for Long-Term Grounding in Fixed-View Videos

The paper proposes AR2-4FV, a novel framework for long-term language-guided referring in fixed-view videos that leverages a static background-derived Anchor Bank and a ReID-Gating mechanism to maintain identity continuity and accelerate re-capture during occlusions or scene exits, significantly outperforming existing baselines in re-capture rate and latency.

Teng Yan, Yihan Liu, Jiongxu Chen, Teng Wang, Jiaqi Li, Bingzhuo Zhong2026-03-10💻 cs

DECADE: A Temporally-Consistent Unsupervised Diffusion Model for Enhanced Rb-82 Dynamic Cardiac PET Image Denoising

The paper proposes DECADE, an unsupervised diffusion model that achieves temporally consistent denoising of Rb-82 dynamic cardiac PET images without paired training data, effectively reducing noise while preserving quantitative accuracy for myocardial blood flow and flow reserve metrics.

Yinchi Zhou, Liang Guo, Huidong Xie, Yuexi Du, Ashley Wang, Menghua Xia, Tian Yu, Ramesh Fazzone-Chettiar, Christopher Weyman, Bruce Spottiswoode, Vladimir Panin, Kuangyu Shi, Edward J. Miller, Attila Feher, Albert J. Sinusas, Nicha C. Dvornek, Chi Liu2026-03-10💻 cs

MedQ-Deg: A Multidimensional Benchmark for Evaluating MLLMs Across Medical Image Quality Degradations

This paper introduces MedQ-Deg, a comprehensive benchmark featuring 24,894 expert-calibrated question-answer pairs across 18 degradation types and 7 imaging modalities, which reveals that mainstream medical multimodal large language models suffer systematic performance drops and exhibit the "AI Dunning-Kruger Effect" of overconfidence under image quality degradations.

Jiyao Liu, Junzhi Ning, Chenglong Ma, Wanying Qu, Jianghan Shen, Siqi Luo, Jinjie Wei, Jin Ye, Pengze Li, Tianbin Li, Jiashi Lin, Hongming Shan, Xinzhe Luo, Xiaohong Liu, Lihao Liu, Junjun He, Ningsheng Xu2026-03-10💻 cs

Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar

The paper introduces Apply2Isar, a tool that automatically converts procedural apply-style proofs in Isabelle/HOL into readable and robust declarative Isar proofs, demonstrating its effectiveness through evaluation on a large benchmark set from the Isabelle Archive of Formal Proofs.

Sage Binder, Hanna Lachnitt, Katherine Kosaian2026-03-10💻 cs

Geometric Knowledge-Assisted Federated Dual Knowledge Distillation Approach Towards Remote Sensing Satellite Imagery

This paper proposes the Geometric Knowledge-Guided Federated Dual Knowledge Distillation (GK-FedDKD) framework to address data heterogeneity in remote sensing satellite imagery by leveraging aggregated geometric knowledge from local covariance matrices and a dual distillation process to significantly outperform state-of-the-art methods.

Luyao Zou, Fei Pan, Jueying Li, Yan Kyaw Tun, Apurba Adhikary, Zhu Han, Hayoung Oh2026-03-10💻 cs

Residual Control for Fast Recovery from Dynamics Shifts

This paper proposes a stability-aligned residual control architecture that enables robotic systems to rapidly recover from mid-episode dynamics shifts by keeping the nominal policy frozen while using a bounded, gated additive residual channel to adaptively compensate for unobserved disturbances, achieving up to an 87% reduction in recovery time across various robotic platforms.

Nethmi Jayasinghe, Diana Gontero, Francesco Migliarba, Spencer T. Brown, Vinod K. Sangwan, Mark C. Hersam, Amit Ranjan Trivedi2026-03-10💻 cs

Parameterized Brushstroke Style Transfer

This paper proposes a novel style transfer method that represents images in the brushstroke domain rather than the traditional pixel domain, offering a more natural and visually superior approach to mimicking artistic styles.

Uma Meleti, Siyu Huang2026-03-10💻 cs

← Previous Next →