机器学习与逻辑的结合 该在线座谈会涉及以下主题,并向有兴趣的任何人开放:* ML系统的测试,分析,验证,安全性和隐私(TAVSP)* ML和逻辑的组合,例如NeuroSymbolic AI *在逻辑求解器中使用ML和证明 加入我们的团队 加入我们的[group]( : ,以便收到有关即将举行的演讲的通知。 [Subscribe]( : 按顺序进行。 即将举行的演讲 日期 作者姓名 作者单位 谈话标题/幻灯片 更多信息 2021年4月19日,星期一,美国东部标准时间下午4时 待定