Introduction to Verified NN4Sys: the What, Why, and How-Department of Computer Science and Technology, Tsinghua University

Home
About
- Introduction
- History
Education
Research
- Research Areas
- Research Insititutions
Advisory Board
- Members of the Advisory Board
Faculty
- CAS & CAE members
- Full-time Faculty
Resource
- Lectures
- Job Opportunity
Contact

News

Academic report
News

Position： Home > News > Academic report > Content

Introduction to Verified NN4Sys: the What, Why, and How

Jun 28, 2024 11:42

报告人	Cheng TAN	讲座时间	June 29, 2024
讲座地点	Room 301B-301C , Ziqiang Building

Previous：Software-Based Networks and Networking for the Cloud Optimizations and Challenges

Next：Empowering Large Language Models with Faithful Reasoning

Links

Tsinghua University
Lectures
Job Opportunity
Teaching Lab
Download

Contact us

MAIL Address: Department of Computer Science and Technology, Tsinghua University, BEIJING, P.R.China

Administration Office: +86-10-627-82258 FAX: +86-10-627-95462

Copyright 2009-2024 Department of Computer Science and Technology All Rights Reserved

Wechat account