LLMを使ったエンティティ不整合バグの発見

LLMを活用することで、プログラムのエンティティ不整合バグを自動的に検出することが可能になる。しかし、LLMには検出精度と検出コストのトレードオフがあるため、WitheredLeafはカスケード型のパイプラインを提案し、これらの問題を解決する。