쌓인 기록에서 찾기
무엇을 찾으세요? 날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위 2026년 8월 13일 (목) 부터 2026년 10월 5일 (월)까지 1701건
2건 · "코드 검증"조건 지우기 ×
001 03:11 ▲ 10 · 댓글 2 LLM 과학 코딩 에이전트를 위한 실행 가능한 검증 도구 개발 과학 코딩 에이전트가 작성된 규칙을 실행 가능한 검증 도구로 변환하는 'Rules to Tools(R2T)' 방식을 제시한다. AI · 머신러닝 · Rules to Tools: Executable Checks for LLM Agents in Scientific Computing
Key Point LLM 에이전트가 과학 코딩 작업에서 검증 도구의 성능이 텍스트 설명과 비교해 작업 유형에 따라 크게 달라지는데, 이는 에이전트 시스템 설계 시 검증 방식 선택의 중요성을 보여준다.
핵심 요약
과학 코딩 에이전트가 작성된 규칙을 실행 가능한 검증 도구로 변환하는 'Rules to Tools(R2T)' 방식을 제시한다. SciCode 벤치마크의 수리 작업에서 검증 도구를 사용한 그룹이 텍스트 설명만 받은 그룹과 비교해 다양한 성능을 보였다. 8개 작업 기준으로 도구 사용 그룹은 16개 중 15개 성공, 텍스트 그룹은 13개 성공했으며 95% 신뢰 구간은 [-12.5, 43.75]%다. 전체 요약 8문장 읽기 → 002 03:10 ▲ 100 · 댓글 33 1995년 16비트 게임 Stars! 64비트 환경에서 즐기는 법 1995년 출시된 16비트 Windows 3.1 게임 Stars! 4X를 현대 64비트 윈도우에서 실행하기 위해 커스텀 80286 에뮬레이터와 Win16-Win32 브릿지를 탑재한 Stars!VM을 개발했다. 오픈소스 · 도구 · A custom virtual machine for the Stars 4X game
Key Point 현대 OS에서 실행 불가능한 레트로 게임을 실행 가능하게 하는 에뮬레이션 기술의 실제 구현 사례로, 레지스터 수준의 정밀성 유지, AI 통합, 성능 최적화 기법을 보여준다.
핵심 요약
1995년 출시된 16비트 Windows 3.1 게임 Stars! 4X를 현대 64비트 윈도우에서 실행하기 위해 커스텀 80286 에뮬레이터와 Win16-Win32 브릿지를 탑재한 Stars!VM을 개발했다. 정식 게임 파일을 압축해 EXE에 내장했으므로 다운로드나 추가 설정 없이 즉시 실행할 수 있으며, 원본처럼 보이지만 현대적 파일 선택기와 4K 스케일링이 지원된다. 에뮬레이터는 x87 부동소수점 연산을 호스트 하드웨어에서 직접 수행하고, AI 에이전트가 게임 UI를 조작할 수 있도록 Model Context Protocol(MCP) 인터페이스를 제공한다. 전체 요약 6문장 읽기 → 