Don’t let your email inbox become your to-do list.

努力工作和诚信是任何成功企业的基石。

To teach mathematics is to inspire the next generation of thinkers and problem solvers.

对人工智能中逻辑系统的研究不仅仅是关于算法，更是关于理解推理的本质。