reasoning-programs

Forethought 是一种神经符号推理系统，它将推理视为由符号与神经基元组合成的显式、可验证的程序。该系统可将基础模型准确率相对提升约 30%，使小模型在保持模型无关性与可审计性的同时，达到甚至超越前沿模型。