Department of Computer Science

Research fields in this department

New papers in the last 30 days

Recent papers from labs in this department · via OpenAlex

• Alessandro Abate 교수 연구실LLM2Cert: LLM Synthesis of Certificates with SMT/Lean VerificationPreprintarXiv (Cornell University) · Oct 21
• Yarin Gal 교수 연구실From Prompts to Posteriors: Can LLM Agents Perform Bayesian Inference in Context?PreprintarXiv (Cornell University) · Oct 21
• Sandra Kiefer 교수 연구실Temporal Exploration and Rendezvous via Weisfeiler-Leman ColoringsPreprintarXiv (Cornell University) · Oct 21
• Nobuko Yoshida 교수 연구실What is a Good Projection?: Correctness and Separation Results of End-Point ProjectionsPreprintarXiv (Cornell University) · Oct 20
• Michael Bronstein 교수 연구실Logit Averaging During Training Sets a New State of the Art for Non-Invasive Speech BCIPreprintarXiv (Cornell University) · Oct 19