RecodeX 重构消息,发布Lambda Calculus基准测试,专门评估AI模型在函数式编程与符号推理任务上的表现。