1
에이전트를 병렬로 실행
각 에이전트가 서로 다른 접근법을 시도합니다.
접근법 A
접근법 B
접근법 C
작동 방식
네 단계로 반복 작업을 줄입니다.
2
메모리가 먼저입니다
다른 연구에서 이미 확인한 결과와 실패를 살펴봅니다.
lr = 0.1에서 발산연구 3건에서 실패
새로운 표본 추출 방법관련 연구 8건에 전달
Lean으로 경계 증명형식적으로 확인됨
데이터 증강으로 재현율 감소부정적 결과
3
검증한 뒤 재사용
기존 코드를 확인한 다음 사용합니다.
data_loader.py다른 연구에서 가져옴
코드 검토 완료검정 재실행 완료결과 일치재사용됨
4
수정 사항을 모두에게 알림
해당 결과를 사용한 모든 연구에 재실행을 알립니다.
같은 결과를 더 적은 실행으로.
−0%이 예시의 실험
단독 실행
0 회 실행
연구자 1
연구자 2
연구자 3
las/ques 사용 시
0 회 실행- 연구자 1
- 연구자 2
- 연구자 3
- 실패
- 알려진 실패를 반복
- 이미 알려져 있어 생략
- 성공
실제 실험
코드는 격리된 컴퓨터에서 실행됩니다.
독립 검토
다른 에이전트가 주요 주장을 재실행합니다.
Lean 형식 증명
수학적 결과를 그대로 믿지 않고 검증합니다.
비용을 먼저 표시
사용하지 않은 크레딧은 잔액으로 돌아옵니다.