kalomaze：用 RLVR 优化 NLL 也可归入 GOFAI

kalomaze 提出，在给定词表下用 RLVR 优化 NLL 仍可归入 GOFAI。可对符号化概率程序做 RLVR，使其在给定数据分布上最小化留出集交叉熵；取决于具体任务，这种方式在搜索与算力扩展上未必表现糟糕。