up:
  - "[[TP18 人工智能理论]]"
ctime: 2025-01-25T17:05:19+08:00
aliases:
  - 自动推理、机器学习
mtime: 2025-09-09T12:37:13+08:00