reasoning-shortcut

本文提出一种神经符号推理的同伦类型论推广，该推广保留了对称性信息和证明多重性，表明当对称性平凡时该框架恢复经典推理，并产生可闭式计算的短路感知概念后验，在推理短路基准上获得实际改进。