연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
Ineq-Comp v2를 바탕으로 익숙한 부등식의 변수 복제·대수 재작성·다단계 합성이 현재 Lean 증명 모델의 구성적 일반화를 크게 흔드는지 살펴봅니다.
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
실시간 버스 예측 연구는 작은 화면에서 분위수 점그림이 밀도그림보다 확률 추정의 분산을 줄였다고 보고했습니다.
When(ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems
Baldur는 전체 Isabelle/HOL 증명을 생성한 뒤 오류 메시지로 수리합니다.
Baldur: Whole-Proof Generation and Repair with Large Language Models
입력 단서를 하나만 바꾸고 답과 설명을 함께 대조해, 그럴듯한 이유와 관찰 가능한 영향 요인을 구분합니다.
네 반 100명이 반 안에서 닮을 때 설계효과 3.4와 근사 유효 표본 29.4를 계산해 사람 수와 독립 정보량을 구분합니다.
31–35 / 46편
