首页 > 学术报告 > 正文

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

2024.06.28 09:53次

讲座时间 2024年6月29日 上午10:00-11:00 汇报人 Cheng TAN
讲座地点 自强科技楼 301B-301C

上一篇：Software-Based Networks and Networking for the Cloud Optimizations and Challenges

下一篇：Empowering Large Language Models with Faithful Reasoning

【关闭】

学术报告

推荐新闻

地址：北京市海淀区双清路30号清华大学    100084

综合办公室电话：010-62782467

Copyright  2010~2024 清华大学 All Rights Reserved.