Picture for Mingwei Zheng

Mingwei Zheng

IntenTest: Stress Testing for Intent Integrity in API-Calling LLM Agents

Add code
Jun 09, 2025
Viaarxiv icon

PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust

Add code
May 07, 2025
Viaarxiv icon

Validating Network Protocol Parsers with Traceable RFC Document Interpretation

Add code
Apr 25, 2025
Viaarxiv icon

Large Language Models for Validating Network Protocol Parsers

Add code
Apr 18, 2025
Viaarxiv icon