원문 정보

Leonardo Liparulo, Francesco Pierri, "Benchmarking AI Agents for Hardware Design Automation via MCP Tool Calling", arXiv:2608.26199 [cs.AI], 2026-08-25 제출, DOI 10.48550/arXiv.2608.26199. 소속: 밀라노 폴리테크닉(Politecnico di Milano). 감사의 글에 따르면 연구는 저자 중 한 명이 Huawei 인턴십 기간 중 수행했고, Huawei 소속 슈퍼바이저의 지도를 받았습니다.

세션 egress 장애로 arXiv 원문에 직접 접근하지 못해, 원문 전문은 GitHub Actions가 2026-08-31T22:04:49Z(UTC)에 수집한 1차 출처 스냅숏으로 대조했습니다. 동료심사를 거치지 않은 프리프린트이며, 평가 대상은 실제 산업 하드웨어 설계 툴(Kactus2류)의 프로덕션 API가 아니라 그 데이터 모델·의존성 규칙을 재현한 MCP(Model Context Protocol) 서버 복제본입니다 — 저자들도 이 점을 논문 말미 한계 절에서 명시합니다. 이해상충은 완곡하지만 실재합니다. 연구 자체가 Huawei 인턴십의 산물이고 지도 인물도 같은 회사 소속인 반면, 평가된 모델 7종은 전부 오픈소스이고 특정 상업 모델을 우대하지 않으며, 벤치마크 과제 설계와 기대 호출 시퀀스 검증에는 산업 전문가가 별도로 참여했습니다.

연구 개요

연구 질문은 두 가지입니다. 로컬 구동 오픈소스 LLM 에이전트가 MCP 툴콜링만으로 하드웨어 설계 툴의 의존성 순서가 있는 반복 작업(컴포넌트 생성 → 포트 추가 → 서브컴포넌트 배선)을 안정적으로 수행할 수 있는가, 그리고 그 신뢰도를 좌우하는 것이 모델 선택인지 에이전트 구성(프롬프트·툴 설명·컨텍스트 범위·아키텍처)인지입니다. 로컬 배포를 택한 이유는 컴포넌트 사양·명명 규칙이 미출시 제품 정보를 드러낼 수 있어 호스팅형 상용 API를 쓰기 어렵다는 산업 현실 때문입니다.

저자들은 14개 툴로 구성된 MCP 서버를 직접 구축하고, Easy·Medium·Hard·History·Errors·Cross 6개 핵심 과제군(각 40개)과 Easy-Noise·Hard-Noise 2개 다중서버 과제군(각 60개)을 산업 전문가 검증을 거쳐 설계했습니다. 평가는 정확도 단일값이 아니라 기대 호출 커버리지(ECC, 완료된 작업 비율)·불필요 호출 비율(EVCR)·툴 실패율(TFR)·무호출 정확도(NCA) 네 지표를 함께 봅니다. 상태를 바꾸는 툴콜링 에이전트는 최종 텍스트 출력만으로 부분 실패를 가릴 수 있어, 저자들은 호출 단위 채점을 선택 이유로 듭니다.

핵심 결과

7개 모델(Llama 3.1 8B, Gemma 4 E4B/26B/31B, Qwen 3.5/3.6 27B, GPT-OSS 20B, 전부 4비트 양자화·Ollama 로컬 구동)을 6개 핵심 과제군에서 비교한 결과, 모델별 최고 성능 구성은 다음과 같습니다. 설정 표기는 히스토리 범위(R=세션 누적/T=과제별 초기화) / 시스템 프롬프트(MD=마크다운, none=툴 스키마만, fs=few-shot) / 툴 설명(C=포괄적, M=최소) 순입니다.

모델최적 설정ECC ↑EVCR ↓TFR ↓
Gemma 4 31BR / MD / C0.9900.0150.011
Gemma 4 26BR / MD / C0.9580.0210.061
GPT-OSS 20BR / none / C0.9510.0730.049
Qwen 3.5 27BR / MD / M0.8800.0360.048
Qwen 3.6 27BR / MD / M0.8580.0860.065
Gemma 4 E4BR / MD / C0.8110.0230.058
Llama 3.1 8BT / fs / C0.5540.0640.353

이 표는 각 모델의 최적 구성 성능이며 기본(out-of-box) 성능이 아닙니다. 같은 Gemma 4 E4B라도 나쁜 구성에서는 ECC가 0.811에서 0.168까지 떨어집니다. 과제 유형별 격차도 큽니다 — Llama 3.1 8B는 상태를 이어받지 않는 독립 과제(Easy·Medium·Hard) 평균 ECC 0.753 대비, 이전 턴의 정보를 복원해야 하는 과제(History·Cross)에서는 0.139로 82% 낮았습니다. 프롬프트·툴 설명 실험에서는 포괄적 툴 설명을 쓴 설정이 42개 모델-과제군 조합 중 35개(83%)에서 최고 ECC를 냈고, 최소 설명으로 바꾸면 모든 모델에서 툴 실패율이 대략 두 배로 뛰었습니다. 반대로 few-shot 프롬프트는 대다수 모델에서 영향이 작았지만(ECC 변화 0.04 이내), Gemma 4 31B(0.956→0.571)와 Gemma 4 E4B(0.731→0.179)에서는 급격한 무응답 붕괴를 일으켰습니다 — 틀린 답이 아니라 행동 자체를 멈추는 실패입니다.

아키텍처 비교(ReAct 단일 에이전트 vs. Plan-and-Act 멀티에이전트 분해, 플래너는 Gemma 4 26B)는 워커의 강약에 따라 방향이 갈렸습니다.

워커과제군ReActPlan-and-Act
Llama 3.1 8B6개 핵심 과제군 평균0.5540.718
Llama 3.1 8BHistory0.1130.650
Llama 3.1 8BCross0.1660.450
Gemma 4 26BHard-Noise(60과제, 누적 히스토리)0.8580.950

약한 워커(Llama 3.1 8B)에는 멀티에이전트 분해가 크게 도움이 됐지만, 강한 워커(Gemma 4 26B)를 같은 6개 과제군에 투입하면 오히려 커버리지가 낮아졌습니다 — 강한 모델은 전체 세션 컨텍스트를 유지하는 편이 유리하다는 뜻입니다. 다만 Gemma 4 26B도 세션이 길어지는 Hard-Noise(60과제, 다른 MCP 서버와 공존)에서는 분해가 커버리지를 0.858→0.950으로 끌어올렸습니다. 멀티에이전트 분해는 '약한 워커' 또는 '긴 세션'이라는 조건에서만 값을 낸다는 것이 저자들의 해석입니다.

신뢰도 평가

믿을 근거는 세 가지입니다. 온도(temperature) 0/0.5/1.0에 걸친 반복과 10회 재실행으로 순위·수치 안정성을 확인했고(예: Gemma 4 26B의 ECC는 온도와 무관하게 0.881~0.896 범위), 몇 안 되는 소수 few-shot 붕괴 사례도 재현 실험으로 표본 잡음이 아님을 확인했습니다. 산업 전문가가 과제 설계와 기대 호출 시퀀스를 검증했고, 7개 모델·8개 과제군이라는 비교적 넓은 조합에서 '모델이 성능 범위를 정하고 설정이 도달 여부를 정한다'는 패턴이 반복 확인됩니다.

감안할 점도 뚜렷합니다. 동료심사 전 프리프린트이고, 연구 수행 자체가 Huawei 인턴십의 산물이며 지도자가 같은 회사 소속이라는 이해상충이 감사의 글에 명시돼 있습니다. 벤치마크 서버와 과제 데이터는 산업 파트너의 독점 정보를 담고 있어 공개되지 않아 외부 재현이 불가능합니다 — 코드·데이터를 공개한 비교 연구들과는 다른 조건입니다. 저자들이 스스로 인정한 한계로 컨텍스트 관리 실험이 '누적/과제별' 이분법에 그쳐 요약형 메모리 같은 중간 지점을 다루지 않았고, EVCR은 불필요한 호출의 심각도를 가중하지 않아 사소한 파라미터 오류와 치명적인 배선 오류를 동일하게 셉니다. 응답 지연(latency)도 측정하지 않아 소형 모델의 속도 이점은 반영되지 않았습니다.

리뷰어 판단

첫째, 이 논문에서 가장 실무적으로 값진 결과는 최고 ECC 0.990이 아니라 '설정이 모델을 뒤집는다'는 관측이라고 판단합니다. Gemma 4 E4B가 최적 구성에서 0.811이지만 나쁜 구성에서는 0.168로 떨어진다는 사실은, 리더보드 점수만 보고 모델을 정한 뒤 프롬프트를 대충 맞추는 흔한 순서가 위험하다는 뜻입니다. 최소한 프롬프트·툴 설명·히스토리 범위 3축의 구성 탐색 없이 모델 순위를 그대로 신뢰해서는 안 됩니다.

둘째, few-shot 프롬프트의 비대칭 위험은 일반화하기 쉬운 함정이라고 봅니다. '예시를 주면 대체로 도움이 된다'는 통념으로 모든 모델에 같은 템플릿을 적용하면, 침묵 붕괴가 일어나는 모델에서는 오답이 아니라 무행동으로 실패가 나타나 디버깅이 오히려 더 어려워집니다. 모델을 교체할 때마다 few-shot 유무를 개별적으로 A/B 검증하는 절차가 필요하다고 판단합니다.

셋째, 포괄적 툴 설명이 83%의 최적 구성에서 등장했다는 수치는 토큰 비용과 신뢰도를 저울질할 때 설명을 아끼지 말라는 근거로 읽을 수 있습니다. 14개 툴의 설명을 최소화해 아끼는 토큰은 약 2,000개에 불과한데, 그 대가로 툴 실패율이 대략 두 배가 됩니다. 비용 절감을 이유로 툴 설명부터 줄이는 선택은 이 벤치마크가 보여주는 손익비와 맞지 않습니다.

실무 적용

  • 구성 탐색을 모델 선택보다 먼저 — 새 모델 도입 시 프롬프트·툴 설명·히스토리 범위 조합을 최소한이라도 탐색한 뒤 순위를 매깁니다.
  • 툴 설명은 상세하게 쓴다 — 파라미터 의미·제약·실패 조건을 명시한 설명이 실패율을 낮추는 가장 일관된 레버입니다.
  • few-shot은 모델별로 A/B 검증 — 도입 전 개별 모델에서 무응답 붕괴가 일어나지 않는지 확인합니다.
  • 멀티에이전트 분해는 약한 워커·긴 세션에만 — 강한 모델의 짧은 세션에 무분별하게 적용하면 오히려 커버리지가 떨어집니다.
  • 상태 의존 과제는 별도로 벤치마크 — 독립 과제 점수만으로 세션 간 상태 복원 능력을 추정하지 않습니다.

결론

이 논문의 결론은 새 모델이 더 잘한다는 것이 아니라, 같은 모델도 구성에 따라 성능이 크게 갈린다는 것입니다. 최고 모델 Gemma 4 31B조차 나쁜 구성에서는 다른 결과를 냈을 것이라는 정황이 곳곳에 있고, 약한 모델 Llama 3.1 8B는 멀티에이전트 분해와 히스토리 범위 조정만으로 상태 의존 과제 성능을 크게 회복했습니다. 다만 동료심사 전 초고이고 인턴십발 이해상충이 있는 조건, 비공개 벤치마크라는 재현성 한계는 그대로 남으므로 수치는 방향 신호로 받아들이는 편이 안전합니다. MCP를 실무에 들일 때는 툴콜링 신뢰도뿐 아니라 프로토콜 자체의 변화도 함께 점검해야 하는데, 이는 MCP 로드맵 서버발신 이벤트 준비 체크리스트에서 이어집니다.

참고 링크