Research Index 75

Home / 홈

• 새 자료 실제 관찰73 / New-source observations73

• FP64 저장 형식73 / FP64 storage73

• 두 번째 주장 모델 결과 / Second claim fit

• Go 입력 재사용 / Go input reuse

• 첫 주장 모델 실제 결과71 · Actual first claim fit71

• 실제 준비69–70 · Actual preparation69–70

• 작은 힌트 학습 준비64–67 · Claim preparation64–67

• 설명 내용61 결과 · Caption content61

• 설명 내용61 상세 검토 · Content findings61

• 설명 내용61 기계적 대조 · Mechanical checks61

• Go 역할 분할62 · Go role module62

• 공개 원문 문구63 · Public upstream wording63

• 설명 참조59 결과 · Caption references59

• 설명 참조59 사용법 · Caption reference usage59

• 공개 원천 전이59 · Source transfer59

• 저장 정답 개선 여지58 · Stored-truth headroom58

• 저장 정답 도구 사용법58 · Stored utility usage58

• 문구·전이·역할 다음 준비58 · Caption, transfer and role preparation58

• 실제 외부 작업 비교55 · Actual external comparison55

• 짧은 주장 준비56 · Short claims preparation56

• 작은 Go 주장 결과56a · Small Go claim results56a

• 작은 주장 도구 사용 · Short-claim usage

• 다른 동작 확보56b · Different behavior acquisition56b

• 동작 정답 감사 결과56b · Typed behavioral truth results56b

• 동작 정답 감사 사용법56b · Typed auditor usage56b

• 동작 정답 감사 사전 계획56b · Typed auditor plan56b

• 작은 속성 주장 준비56c · Scoped claim preparation56c

• 속성 제안 준비 기록56c · Scoped proposal record56c

• 속성 제안 사용법56c · Scoped proposal usage56c

• 속성 사전 설계56c · Property preparation design56c

• 상주 자원 설계56d · Resident resource design56d

• 상주 처리 비용 결과56d · Resident resource results56d

• 상주 측정 도구 사용법56d · Resident collector usage56d

• 상주 측정 구현 경계56d · Resident implementation boundaries56d

• 유한 입력 주장 정답56e · Finite-input claim truth56e

• 유한 감사 사용법56e · Finite-audit usage56e

• 감사 전 문구 검토56e · Prose review before audit56e

• 유한 감사 사전 계획56e · Finite-audit pre-outcome plan56e

• 다른 원천의 다음 계약56e · Next source contracts56e

• 외부 작업 공정 비교55 · Fair comparison55

• 실제 파서 작업 비교54 · Actual parser comparison54

• 외부 Go 계약 준비54 · External Go contracts54

English

• Ternary training and PDCA

• Tiny-head research

• Getting started

• Workflows

• Agents and Go

• Performance & troubleshooting

• Project & licensing

한국어

• 3진 학습·PDCA

• 초소형 헤드 연구

• 처음 시작하기

• 기능별 사용법

• 에이전트·Go 연동

• 성능·문제 해결

• 프로젝트·라이선스

Downloads / 다운로드 · Repository / 저장소

• 실제 관련성 학습 02 / Real relevance training 02

• 저비용 특징 학습 03 / Low-cost feature learning 03

• 정적 임베딩 Go 실행·압축 / Static embeddings in Go

• 정적 임베딩 학습 05 / Static alignment learning 05

• 검색 자료 점검 06 / Retrieval source audit 06

• 2,948개 질문 검색 시험 / 2,948-query retrieval baseline

• 순위 배열 재사용과 메모리 할당 / Ranking array reuse and allocation

• 보조 검색 주장 모델 학습 09 / Auxiliary-search claim training 09

• 첫 후보를 보존하는 보조 검색 / Baseline-first identifier hints

• 후보를 조금씩 읽는 페이지 출력 / Paged candidate output

• Page costs 12: 한국어 / English

• Search session 13: 한국어 / English

• Page claim 14: 한국어 / English

• Call budget 15: 한국어 / English

• CoNaLa audit 16: 한국어 / English

• Laya relevance 17/17b: 한국어 / English

• Laya implementation / FP32–INT8 diagnostic 18: 한국어 / English

• Original Laya validation 19: 한국어 / English

• Call-cost claim learning 20: 한국어 / English

• Cheap score-spread features 21: 한국어 / English

• Shallow page-gain claims 22: 한국어 / English

• Claim input signal audit 23: 한국어 / English

• Query coverage features 24: 한국어 / English

• Joint coverage claim training 25: 한국어 / English

• Changed-call loss audit 26: 한국어 / English

• Deferred helper on continuation27: 한국어 / English

• Real GitHub task source audit28: 한국어 / English

• Grouped evaluation membership29: 한국어 / English

• All historical root metadata30: 한국어 / English

• Historical license text coverage 31: 한국어 / English

• Complete long-query execution 32: 한국어 / English

• Complete pre-fix catalogs and isolated labels 33: 한국어 / English

• 실제 2,400개 파일 검색 결과와 한계 · Actual 2,400-task localization results and limitations

• 인덱스 재사용의 효과와 한계 · Index reuse benefits and limits

• 별도 학습 후보 15,423개 출처 검사 · Separate 15,423-group training-source audit

• 학습·검증·최종 2,402개 분리 · Train/validation and 2,402 final tasks

• 학습·검증 파일 목록과 과거 라이선스 수집 · Development catalogs and historical license collection

• 개발 자료 13,021개의 정답 준비와 실패 보존 · Targets and explicit failures across 13,021 development tasks

• 개발 정답과 수정 전 파일 목록의 연결 검사 · Development targets joined to pre-fix catalogs

• 숫자 모델 학습 범위와 긴 질문 입력 계약 · Numerical training scope and long-query input contract

• 선택할 때만 계산하는 보조 파일 검색 · Actually deferred auxiliary path search

• 작업별 보조 검색 이득·손해 자료 · Per-task auxiliary search gains and losses

• 학습·검증을 함께 수집하는 순서 · Acquire training and validation together

• 확장 비용·출처 준비와 검증 부족 · Expanded costs and source readiness

• 24개와 2,400개: 작은 주장 모델 학습 기준 · 24 versus 2,400: tiny claim fitting requirements

• 실제 수천 개 학습·실패·메모리 · Actual training, failed gates and memory

• 골든셋 규모와 도메인 구분 · Golden-set scale and domain boundaries

• Golden-set acquisition and budgets / 골든셋 확보·실행 예산: 한국어 / English · KO source / EN source

• 사용량 기록·독립 작업 검증 · Usage recording and independent task verification

• 공개 작업 실행·근거 연결 · Explicit public task execution

• Repeated behavioral attempts 53 / 행동 요청 반복 시도 53: 한국어 / English · KO source / EN source

• Public Go source survey 53 / 공개 Go 원천 조사 53: 한국어 / English · KO source / EN source

• Historical owned attempts 52 / 역사적 실제 시도 52: 한국어 / English · KO source / EN source

• 실제 시도 두 건·비교 중단 51 · Two owned attempts and stopped comparison 51

• 실행 전 중단 기록 50 · Preserved prelaunch refusal 50

• 학습용 4,456개 검색 비교·중단 판단 · 4,456-request helper screen and stop decision

• 공개 동작 검증57 결과 · EN

• 공개 동작 검증57 사용법 · EN

• Laya 원본 회고57 · EN

• 실제 주장 검사66–69 · Actual claim checks66–69