Docs faviconDOCS우성짱의 문서
Tag2건YouTube 1Article 1

#formal-verification

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

연관 태그

#ae-studio공동문서 1 · 연관도 71%#agentic-workflow-apm공동문서 1 · 연관도 71%#alphazero공동문서 1 · 연관도 71%#bioai-protein-models공동문서 1 · 연관도 71%#checkpointless-es공동문서 1 · 연관도 71%#es-vs-grpo공동문서 1 · 연관도 71%#esm-cambrian공동문서 1 · 연관도 71%#evolution-strategies공동문서 1 · 연관도 71%#lean-verified-rl공동문서 1 · 연관도 71%#llm-self-play공동문서 1 · 연관도 71%
Self-Play for LLMs, AI for Biology, Formal Verification, and More
YouTube2026년 6월 12일

Self-Play for LLMs, AI for Biology, Formal Verification, and More

Self Play for LLMs, AI for Biology, Formal Verification의 공통 메시지는 더 큰 지능을 만들기 위해 인간 데이터 의존을 줄이고, 스케일링·자기생성 과제·검증 가능한 추론을 결합해야 한다는 것이다.

Y Combinator
#llm-self-play#bioai-protein-models#formal-verification#streaming-rag
Building an RL theorem-proving workflow on Modal
Article2026년 4월 29일

Building an RL theorem-proving workflow on Modal

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

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