To write is to make sense of the chaos.
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
The best way to predict the future is to invent it.
The only way to do great work is to love what you do.
If you’re afraid to fail, then you’re probably going to fail.