资源
东南大学人工智能学院
人工智能学院在人工智能领域的科研和人才培养方面有较好的基础,拥有一支年轻的高水平研究队伍,主要研究方向包括机器学习、知识表示与推理、计算机视觉、自然语言处理、多智能体...
程序员盒子CoderUtil
一个程序员的高效工具网址导航网站,程序员盒子网提供自定义快捷网址导航,涵盖技术社区、学习平台、资源推荐等多种功能,目前拥有超过200万的程序员用户群体。
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型,采用树搜索和神经符号推理技术,能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库,涵盖67亿个需辅助构造的定理,具备广泛应用场景,如数学竞赛、教育及研究领域,支持复杂几何问题的探索与教学资源开发。
