5 ms·Show HN: Neurallambda, Adds reasoning via differentiable Lambda Calculus3 points by neurallambda 3y ago