Cover Image

QuadSentinel: Sequent Safety for Machine-Checkable Control in Multi-agent Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yang, Yiliu, Jiang, Yilei, Wang, Qunzhong, Tan, Yingshui, Zhu, Xiaoyong, Chow, Sherman S. M., Zheng, Bo, Yue, Xiangyu
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MSR-Align: Policy-Grounded Multimodal Alignment for Safety-Aware Reasoning in Vision-Language Models
by: Xia, Yinan, et al.
Published: (2025)

RapGuard: Safeguarding Multimodal Large Language Models via Rationale-aware Defensive Prompting
by: Jiang, Yilei, et al.
Published: (2024)

HiddenDetect: Detecting Jailbreak Attacks against Large Vision-Language Models via Monitoring Hidden States
by: Jiang, Yilei, et al.
Published: (2025)

Equilibrate RLHF: Towards Balancing Helpfulness-Safety Trade-off in Large Language Models
by: Tan, Yingshui, et al.
Published: (2025)

ConceptGuard: Proactive Safety in Text-and-Image-to-Video Generation through Multimodal Risk Detection
by: Ma, Ruize, et al.
Published: (2025)

Safety Alignment for Vision Language Models
by: Liu, Zhendong, et al.
Published: (2024)

PSA-VLM: Enhancing Vision-Language Model Safety through Progressive Concept-Bottleneck-Driven Alignment
by: Liu, Zhendong, et al.
Published: (2024)

ScreenCoder: Advancing Visual-to-Code Generation for Front-End Automation via Modular Multimodal Agents
by: Jiang, Yilei, et al.
Published: (2025)

VR-Thinker: Boosting Video Reward Models through Thinking-with-Image Reasoning
by: Wang, Qunzhong, et al.
Published: (2025)

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction
by: Nguyen, Minh-Luân, et al.
Published: (2026)

Machine-Checkable Weak Covering for the Collatz (3x+1) Problem
by: Kawanishi, Yoshihito
Published: (2025)

Chinese SafetyQA: A Safety Short-form Factuality Benchmark for Large Language Models
by: Tan, Yingshui, et al.
Published: (2024)

USB: A Comprehensive and Unified Safety Evaluation Benchmark for Multimodal Large Language Models
by: Zheng, Baolin, et al.
Published: (2025)

A Review of Detection, Evolution, and Data Reconstruction Strategies for False Data Injection Attacks in Power Cyber-Physical Systems
by: Bo, Xiaoyong
Published: (2025)

Beyond Safe Answers: A Benchmark for Evaluating True Risk Awareness in Large Reasoning Models
by: Zheng, Baihui, et al.
Published: (2025)

Does Graph Prompt Work? A Data Operation Perspective with Theoretical Analysis
by: Wang, Qunzhong, et al.
Published: (2024)

AgentODRL: A Large Language Model-based Multi-agent System for ODRL Generation
by: Zhong, Wanle, et al.
Published: (2025)

Probabilistically Checkable Reconfiguration Proofs and Inapproximability of Reconfiguration Problems
by: Hirahara, Shuichi, et al.
Published: (2023)

Distributed Quantum Advantage in Locally Checkable Labeling Problems
by: Balliu, Alkida, et al.
Published: (2025)

On the Node-Averaged Complexity of Locally Checkable Problems on Trees
by: Balliu, Alkida, et al.
Published: (2023)

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
by: Somani, Neel
Published: (2026)

FairGen: Enhancing Fairness in Text-to-Image Diffusion Models via Self-Discovering Latent Directions
by: Jiang, Yilei, et al.
Published: (2024)

Shared Randomness in Locally Checkable Problems: The Role of Computational Assumptions
by: Hadad, Adar, et al.
Published: (2025)

Programmable Electrothermal Quad‐Functional Metamaterials for Decoupled Multi‐Field Control
by: Xianrong Cao, et al.
Published: (2026)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
by: Acclavio, Matteo
Published: (2023)

PerchMobi^3: A Multi-Modal Robot with Power-Reuse Quad-Fan Mechanism for Air-Ground-Wall Locomotion
by: Chen, Yikai, et al.
Published: (2025)

Chapter Sequent calculus and complexity theory
by: Duccio, Pianigiani
Published: (2026)

Sequent calculi for first-order ST
by: Paoli, Francesco, et al.
Published: (2026)

Grokking the Sequent Calculus (Functional Pearl)
by: Binder, David, et al.
Published: (2024)

Sequent Calculi for some subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
by: Freiman, Robert, et al.
Published: (2024)

Collaboration Dynamics and Reliability Challenges of Multi-Agent LLM Systems in Finite Element Analysis
by: Tian, Chuan, et al.
Published: (2024)

Multimodal Quad‐Finger Soft Robotic Hand With Dual‐Chamber Origami Actuator for Large‐Workspace Manipulation
by: Qinlin Tan, et al.
Published: (2026)

MorphoCopter: Design, Modeling, and Control of a New Transformable Quad-Bi Copter
by: Modi, Harsh, et al.
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

QuadLink: Autoregressive Quad-Dominant Mesh Generation via Point-Relation Learning
by: Zhang, Yiheng, et al.
Published: (2026)

QuadFM: Foundational Text-Driven Quadruped Motion Dataset for Generation and Control
by: Gao, Li, et al.
Published: (2026)

Efficient Secure Aggregation for Privacy-Preserving Federated Machine Learning
by: Behnia, Rouzbeh, et al.
Published: (2023)