3 papers
cs.CR2026
zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
Rong Fu, Jia Yee Tan, Youjin Wang +7
Zero-knowledge circuits enable privacy-preserving and scalable systems but are difficult to implement correctly due to the tight coupling between witness computation and circuit co…
cs.NI2026
Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence
Rong Fu, Xiaowen Ma, Kun Liu +9
Deploying expressive learning models directly on programmable dataplanes promises line-rate, low-latency traffic analysis but remains hindered by strict hardware constraints and th…
cs.AI2026
Beyond Static Tools: Test-Time Tool Evolution for Scientific Reasoning
Jiaxuan Lu, Ziyu Kong, Yemin Wang +10
The central challenge of AI for Science is not reasoning alone, but the ability to create computational methods in an open-ended scientific world. Existing LLM-based agents rely on…