研究领域
人工智能
|
软件
|
逻辑
|
其它
人工智能
，特别是自动推理、机器学习和大语言模型，以及在智能体、常识、知识系统、互联网、机器人、自然语言、信息检索、定理证明、程序设计，智能企业和产品等的应用.
计算机
软件
数理
逻辑
其它
兴趣