实体
Vincent Lindon
Vincent Lindon
PulseAugur coverage of Vincent Lindon — every cluster mentioning Vincent Lindon across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
创新药板块增长潜力显现，科技股抛售潮中 · 追踪 1 个来源
天风证券的最新报告显示，在持续的业务发展交易和持续的研发投资的推动下，创新药行业前景看好。报告指出，这一趋势将导致整个创新药产业链的高增长率。与此同时，高盛的一份独立报告强调，对冲基金在过去两个月里创纪录地撤离美国科技股，半导体、存储和 AI 基础设施领域出现了大规模抛售。
-
对冲基金创纪录速度退出美国科技股；韩国出口激增
在过去两个月里，对冲基金一直在以创纪录的速度抛售美国科技股，半导体和AI基础设施领域出现了大规模抛售。这一趋势表明科技投资者头寸大幅削减，出现了一些投降迹象。与此同时，韩国报告称7月份前20天的出口激增，这得益于半导体出货量的巨大增长，尽管汽车出口有所下降。
-
知识图谱助力大型语言模型进行自动化定理证明
研究人员开发了KG-Prover，一个新框架，通过整合从数学文本中挖掘的知识图谱，增强大型语言模型进行自动化定理证明的能力。该方法有助于大型语言模型识别关键概念、理解它们之间的关系并更准确地形式化证明。在测试中，KG-Prover显著提高了大型语言模型的性能，在miniF2F-test数据集上提升高达21%，并在ProofNet和MUSTARD等其他基准测试中持续改进。