Tag
#Security
1 post.
Agentic Concolic Execution 논문 리뷰Agentic Concolic Execution Paper Review
LLM 에이전트를 concolic execution의 실행 기록, 분기 선택, 조건 요약, 도구 호출, 검증 루프에 넣은 CONCOLLMIC 논문 리뷰Review of the CONCOLLMIC paper, which puts LLM agents into concolic execution's trace reading, branch selection, constraint summarization, tool calls, and validation loop