搜索
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型,采用树搜索和神经符号推理技术,能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库,涵盖67亿个需辅助构造的定理,具备广泛应用场景,如数学竞赛、教育及研究领域,支持复杂几何问题的探索与教学资源开发。
Semantic Scholar
Semantic Scholar 是一款基于人工智能的科学文献搜索引擎,通过自然语言处理技术理解论文语义,提供精准搜索结果。它具备论文检索、引用网络展示、相关文献推荐及摘要提取等功能,并拥有语义阅读器以优化阅读体验。Semantic Scholar 还为开发者提供API支持,广泛应用于学术研究、教育、跨学科探索和文献综述等领域,助力科研人员提升工作效率。