Xiaoqin Zhang
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Software Eng.×1AI×1
Frequent co-authors
Research Timeline
2026
ZK-Value: A Practical Zero-Knowledge System for Verifiable Data Valuation
ZK-Value introduces a practical, scalable zero-knowledge system for calculating data valuations (Shapley values) in data marketplaces, significantly reducing proving time while maintaining high accuracy.
AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming
AutoSpec is a framework that uses counterexample-guided inductive synthesis and inductive logic programming to automatically evolve safety rules for large language model agents.
Highlighted terms show continued research focus across papers
Papers
cs.SEcs.AIcs.CREmpiricalRecentJun 23, 2026
AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming
Pingchuan Ma, Zhaoyu Wang, Zimo Ji, Yuguang Zhou +4 more
AutoSpec is a framework that uses counterexample-guided inductive synthesis and inductive logic programming to automatically evolve safety rules for large language model agents.
View →
cs.CRRecent