正在加载线程详情
正在从 X 获取原始推文,整理成清爽的阅读视图。
通常只需几秒钟,请稍候。
共 1 条推文 · 2025年12月3日 23:30
RT @nickgiometti:如果你在 NeurIPS 大会上,并且对形式化验证/用人工智能解决最棘手的问题感兴趣,欢迎来 @BCapital…