Chain-of-Thought

'Chain-of-Thought' 태그의 모든 글

총 2개의 글

시간순 정렬

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

논문 링크 Subgoal Curriculum + CoT Consistency: DeepSeek-Prover-V2가 자동 정리 증명의 판을 갈아엎다 TL;DR DeepSeek-Prover-V2는 **“문제를 잘게 쪼개고, 쪼갠 대로 끝까지 맞춘다”**는 원칙으로 소형 7 B …

2025년 07월 08일

23 분

Code I/O: Condensing Reasoning Patterns via Code Input-Output Prediction

논문 링크 CODE I/O: 코드 입·출력 + 자연어 CoT로 범용 추론까지 — 데이터 설계만으로 7B-30B LLM을 평균 +2 점 끌어올리다 TL;DR “코드 함수 → 입력·출력 예측 + 체계적 Chain-of-Thought(CoT)”라는 단일 데이터 파이프라인만으로, 3.5 M 샘 …

2025년 07월 07일

31 분

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Code I/O: Condensing Reasoning Patterns via Code Input-Output Prediction

검색 시작

검색 결과 없음