소스의 계산과 예시를 함께 읽는 작은 모델

확인: 2026-10-12 KST. Gooo0.6.34-dev를 공개하고 실제 macOS arm64 파일을 설치했습니다. 소스는 b266c0e2cf6878385b59788945861a03e33f766b, Go는1.27.2, 판단 SDK는0.2.44입니다.

바뀐 부분

소스에 부품과 스위치를 적어 두고, 모델이 먼저 끼워 볼 조합을 추천합니다. Gooo는 그 조합의 실제 결과를 예시와 비교하고 남은 조합을 이어서 확인합니다. 조건식의 피연산자 순서와 반환 가지를 선택하면서 변수 선언·대입·계산은 소스에 유지합니다. 모델을 생략하면 정해진 순서로 조립합니다. 저장한 프로그램은 모델 없이 다시 실행합니다.

V3는 소스의 정수 상수와 입력·기대값의 계산 관계를 조건식 구간별로 묶습니다. 기존528개 입력 값 중48개 빈 영역을 사용하며19,034개 FP32 가중치/76,136B를 유지합니다. 입력 조회는 후보를 실행하거나 모델을 호출하지 않습니다. V2도 모든 출력·Boolean 예시를 읽고 있었으며, V3는 이 관계 표현을 추가한 실험 경로입니다.

설치와 모델 선택

배포 페이지에서 운영체제에 맞는 파일과 체크섬을 받습니다. Go에서 직접 설치하려면:

GOBIN="$PWD/.gooo-bin" GOWORK=off GOTOOLCHAIN=go1.27.2 \
  go install github.com/kimjooyoon/meta-ontology-go/cmd/[email protected]
export PATH="$PWD/.gooo-bin:$PATH"
gooo version --build --json

직접 빌드한 파일의 VCS 표시는 공개 배포 파일과 다를 수 있습니다. V3 모델 파일과 원본 소스를 확인합니다. 모델은 아래 고정 경로에 공개되어 있습니다.

hf download asketeddy/gooo-canonical-decision-tiny-v1 \
  research/output-relations-v3-learning-20261012/result/v3/model.json \
  --revision 089c7b3200ee80c55a721f16580985054ce997e1 --local-dir model-v3

모델 SHA256은 683a19f86fb3a7b5b4e436d1b692884b96b613652caa693e321818bde8645816입니다. 예제 소스와 호출·평가 JSON은 같은 고정 컴파일러 소스의 examples/body-codegen/에 있습니다. 이 파일들을 준비한 폴더에서:

model=model-v3/research/output-relations-v3-learning-20261012/result/v3/model.json
gooo body-context --activity Choose --model "$model" \
  examples/body-codegen/source-output-relations-v3-cases.gooo.fixture

gooo body-construct \
  --source examples/body-codegen/source-output-relations-v3-cases.gooo.fixture \
  --entry Main --model "$model" --attempts 4 \
  --construction-cases examples/body-codegen/source-output-relations-v3-construction.json \
  --cases examples/body-codegen/source-output-relations-v3-evaluation.json \
  --out v3-first --format text

gooo body-construct --source v3-first/original.gooo \
  --construction v3-first/construction.json \
  --cases examples/body-codegen/source-output-relations-v3-evaluation.json --format text

출력 폴더는 새 이름을 씁니다. 모델 없이 시작하려면 첫 조립 명령의 --model을 생략합니다. 조립은 후보 검사 전에 한 번 판단하고, 다음 후보와 저장 결과 재실행에서는 새 판단을 하지 않습니다. 위 명령은 공개 사용 안내입니다. 문서 갱신을 위해 기존 학습·예측·실행 실험을 다시 돌리지 않았습니다.

첫 선택과 검사 후 충족을 따로 보기

새 비교 실험은16개 반환 연산 조합,32개 매개변수 계약의256문서를 사용했습니다. 한·영 설명과 소스 배치 변형은 같은 계약의 반복입니다. 두 모델은 같은128문서로 각각 한 번 학습했습니다. 미사용 평가64문서는 학습에 없던 네 연산 조합의 여덟 계약입니다.

새 평가의 관찰	V2	V3
첫 후보가6출력+3조건 충족	21/64	18/64
한·영 첫 조합 일치	11/32쌍	5/32쌍
보존된 후보 검사 수	140/64	152/64
유한 후보 검사 후 충족	64/64	64/64

이번 묶음에서는 V3의 첫 선택과 한·영 일치가 더 낮았습니다. 기본 선택을 바꾸지 않고 명시적으로 고르는 경로로 공개했습니다. 검사 후64/64는 정한 유한 후보와 사례의 충족입니다. 추가 입력512관찰도64개의 고유 계약/입력 쌍을 반복한 값입니다. 임의 자연어·프로그램과 속도·CPU·전체 RAM 개선은 이 실험에서 측정하지 않았습니다.

원래 두 모델·실패·후보 기록과 실행 없이 읽은 언어·연산별 세부 결과를 함께 공개합니다. 한국어 첫 성공11/32→8/32, 영어10/32→10/32는 같은64행을 나눈 관찰입니다. 표현·소스 배치·매개변수를 따로 변화시키는 새 평가가 다음 과제입니다.

공개 파일에서 확인한 범위

원본 핵심 CI, 네 플랫폼 준비, 발행이 같은 소스를 확인했습니다. 새 영 가중치 V3 회귀는 입력 조회0예측·최초 판단1회·호출자1/1·별도 실행8/8과 모델 파일을 지운 뒤 재실행8/8을 확인했습니다. 네 플랫폼 반복에서도 행동 입력의 분모는8개입니다. 학습된 모델의64문서 결과는 별도 분모입니다.

공개9파일 식별값·체크섬8항목·출처 목록7항목·소스 태그와 최종 PUBLISHED / EXACT 발행 기록을 대조했습니다. macOS arm64 압축 파일을 포함한 필요한6파일의 바이트를 받아 확인하고 설치했습니다. 다른 세 플랫폼 압축 파일은 API·체크섬 식별값을 대조했습니다.

Go SDK V3 사용법 · Hugging Face 모델 소개.