Software Engineering @ Hohai University · Incoming M.S. @ East China Normal University
Building reliable LLM agents, RAG systems, and software analysis tools.
Blog · GitHub · Gitee Archive
- Software Engineering undergraduate at Hohai University
- Incoming M.S. student at East China Normal University (2027)
- Focused on LLM Agents · Harness Engineering · RAG Security · Program Analysis · Software Testing
- Interested in turning research ideas into measurable, inspectable, reproducible systems
|
Trustworthy RAG / Agent system for multi-department knowledge services, with retrieval evaluation, evidence sufficiency verification, and harness-oriented engineering.
|
RAG-based knowledge and resource generation system with structured retrieval, PostgreSQL / pgvector, document parsing, reranking, and editable generated content.
|
|
Research-oriented work on smart-contract vulnerability detection, static analysis, symbolic execution, candidate ranking, and LLM-assisted verification.
|
Explorations around web agents, browser task execution, and practical agent workflows.
|
Reliable Agents · Harness Engineering · RAG Evaluation · Agent Security · Program Analysis
GitHub is my primary home. Older projects may remain on Gitee as mirrors or archives.
