Docs faviconDOCS우성짱의 문서
전체YouTubeArticleTagsAuthorsHub
홈/태그 찾기/#research-infrastructure
Tag1건Article 1

#research-infrastructure

이 태그와 연결된 문서를 한곳에서 모아보고, 함께 자주 등장하는 연관 태그까지 이어서 탐색할 수 있습니다.

연관 태그

#ae-studio공동문서 1 · 연관도 100%#checkpointless-es공동문서 1 · 연관도 100%#distributed-inference공동문서 1 · 연관도 100%#es-vs-grpo공동문서 1 · 연관도 100%#evolution-strategies공동문서 1 · 연관도 100%#formal-verification공동문서 1 · 연관도 100%#lean-verified-rl공동문서 1 · 연관도 100%#rl-theorem-proving공동문서 1 · 연관도 100%#sandboxed-verification공동문서 1 · 연관도 100%#serverless-gpu-compute공동문서 1 · 연관도 100%
Building an RL theorem-proving workflow on Modal
Article2026년 6월 15일

Building an RL theorem-proving workflow on Modal

AE Studio는 Modal 위에서 Lean 기반 정리 증명 강화학습 워크플로를 구축해, ES와 GRPO를 비교하고 병렬 GPU 추론·격리된 CPU 검증·경량 오케스트레이션을 조합한 실험 인프라의 속도와 비용 효율을 보여준다.

Modal
#modal#ae-studio#evolution-strategies#hugging-face