연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
Kimina-Prover Preview v1의 강화학습과 miniF2F pass@8192 결과를 살펴보며 대규모 후보 탐색 성과와 단일 시도 능력, 형식 검증 비용을 구분한다.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
그래프의 숫자는 같아도 위치·길이·각도·넓이 가운데 어떤 시각 과제를 요구하느냐에 따라 판독 정확도가 달라집니다.
Graphical Perception: Theory, Experimentation, and Application to the Development of Graphical Methods
확률논리는 ‘참/거짓’과 수치적 불확실성을 여러 방식으로 결합합니다. 귀납적 추측과 확률 제약에서의 연역적 함의를 구별해 봅니다.
Logic and Probability
P-FOLIO는 0~20단계의 사람이 쓴 증명 연쇄를 제공해 최종 분류와 단계 규칙 평가를 분리합니다.
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains
부분구조논리는 교환·축약·약화 같은 구조 규칙을 선택적으로 제한해, 전제의 순서·수량·관련성이 추론에 미치는 영향을 드러냅니다.
Substructural Logics
431–435 / 836편
