CausalForge는 Lean 증명 보조기를 기반으로 인과 추론 분야의 자율 연구를 위한 프레임워크입니다. 7,035개의 머신 검증 선언을 포함하는 Causalean 라이브러리와 자율 연구 파이프라인인 CausalSmith를 결합합니다. 연구 결과의 진실성을 평가하기 위해 비공식 주장을 형식화된 정리와 비교하는 진술 감사를 수행합니다.
CausalForge는 기존 LLM 리뷰어의 한계를 극복하고, 임의로 생성된 논문을 허용하거나 우연에 가까운 비율로 감지하는 문제를 해결합니다. Causalean 라이브러리는 언어 모델 지원 하에 인간이 설계하고 검토했으며, CausalSmith는 연구 주제 선택, 결과 제안, 정리 형식화, 증명 구성 등의 작업을 수행합니다.
소스 코드, 형식 라이브러리, 실행 기록은 GitHub에서 공개되었으며, CausalForge는 자율 연구의 신뢰성을 높이는 데 기여할 것으로 기대됩니다.