연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
Fox와 Clemen의 다섯 연구를 바탕으로 같은 사건 공간도 선택지 분할 방식에 따라 각 항목의 주관확률이 균등한 ‘무지 사전분포’ 쪽으로 끌릴 수 있음을 설명합니다.
Subjective Probability Assessment in Decision Analysis: Partition Dependence and Bias Toward the Ignorance Prior
Kimina-Prover Preview v1의 강화학습과 miniF2F pass@8192 결과를 살펴보며 대규모 후보 탐색 성과와 단일 시도 능력, 형식 검증 비용을 구분한다.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
온라인 토론 자료 연구는 설득 여부가 문장 특징뿐 아니라 참여 시점과 왕복 대화 같은 상호작용과 연결됨을 보여 줍니다.
Winning Arguments: Interaction Dynamics and Persuasion Strategies in Good-faith Online Discussions
설명과 예측은 서로 다른 질문입니다. 슈무엘리의 방법론 연구를 통해 모형의 목적, 사용할 수 있는 정보, 평가 방법을 함께 살펴봅니다.
To Explain or to Predict?
Romera-Paredes 등은 언어모델의 프로그램 제안과 자동 평가·진화를 결합해 cap set 구성과 온라인 bin packing 휴리스틱을 탐색했습니다.
Mathematical Discoveries from Program Search with Large Language Models
61–65 / 136편
