컴퓨터과학과
Department of Computer Science
연구 프로필 60개
이 학과의 연구 분야
AI·기계학습11
이론·알고리즘9
보안·암호8
소프트웨어·시스템7
양자4
바이오·의공학3
제어·시스템1
최근 30일 새 논문
이 학과 연구실들이 최근 낸 논문이에요 · OpenAlex 기준
- Alessandro Abate 교수 연구실LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification프리프린트arXiv (Cornell University) · 10월 21일
- Yarin Gal 교수 연구실From Prompts to Posteriors: Can LLM Agents Perform Bayesian Inference in Context?프리프린트arXiv (Cornell University) · 10월 21일
- Sandra Kiefer 교수 연구실Temporal Exploration and Rendezvous via Weisfeiler-Leman Colorings프리프린트arXiv (Cornell University) · 10월 21일
- Nobuko Yoshida 교수 연구실What is a Good Projection?: Correctness and Separation Results of End-Point Projections프리프린트arXiv (Cornell University) · 10월 20일
- Michael Bronstein 교수 연구실Logit Averaging During Training Sets a New State of the Art for Non-Invasive Speech BCI프리프린트arXiv (Cornell University) · 10월 19일