kalomaze：用 RLVR 优化 NLL 也可算作 GOFAI

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