most citedNeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS

4 citations · 5 across the 6 of their papers we have counts for

collaborators

8 papers

cs.CR2026

SecCodeBench-V2 Technical Report

Longfei Chen, Ji Zhao, Lanxiao Cui +24

We introduce SecCodeBench-V2, a publicly released benchmark for evaluating Large Language Model (LLM) copilots' capabilities of generating secure code. SecCodeBench-V2 comprises 98…

cs.OS2026

ThunderAgent: A Simple, Fast and Program-Aware Agentic Inference System

Hao Kang, Ziyang Li, Weili Xu +7

Large language models(LLMs) are now used to power complex multi-turn agentic workflows. Existing systems run agentic inference by loosely assembling isolated components: an LLM inf…

quant-ph2025

A Lyapunov Framework for Quantum Algorithm Design in Combinatorial Optimization with Approximation Ratio Guarantees

Shengminjie Chen, Ziyang Li, Hongyi Zhou +3

In this work, we develop a framework aiming at designing quantum algorithms for combinatorial optimization problems while providing theoretical guarantees on their approximation ra…

cs.CV2025

TriAlignXA: An Explainable Trilemma Alignment Framework for Trustworthy Agri-product Grading

Jianfei Xie, Ziyang Li

The 'trust deficit' in online fruit and vegetable e-commerce stems from the inability of digital transactions to provide direct sensory perception of product quality. This paper co…

math.NA2025

Projecting onto the unit dual quaternion set

Ziyang Li, Chunfeng Cui, Jiaxin Xie

Dual quaternions have gained significant attention due to their wide applications in areas such as multi-agent formation control, 3D motion modeling, and robotics. A fundamental as…

cs.CV2025★ 1 cited

UP2You: Fast Reconstruction of Yourself from Unconstrained Photo Collections

Zeyu Cai, Ziyang Li, Xiaoben Li +4

We present UP2You, the first tuning-free solution for reconstructing high-fidelity 3D clothed portraits from extremely unconstrained in-the-wild 2D photos. Unlike previous approach…

cs.CE2025

FinArena: A Human-Agent Collaboration Framework for Financial Market Analysis and Forecasting

Congluo Xu, Zhaobin Liu, Ziyang Li

To improve stock trend predictions and support personalized investment decisions, this paper proposes FinArena, a novel Human-Agent collaboration framework. Inspired by the mixture…

cs.SE2025★ 4 cited

NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS

Xi Zheng, Ziyang Li, Ivan Ruchkin +2

Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neu…