Show HN: Pinocchio: Harness for Verifiable Workhttps://pinocchio.goedelmachines.com
Hey HN, we've been trying to solve LLM Hallucinations. So we built Pinocchio. Pinocchio is a research preview for AI outputs with provenance and verification built in. Give it a task and source material. For numerics, the values used in the computation are carried directly from the source rather than regenerated by the model across reasoning steps. Pinocchio records the computations and derivations applied to them, and a deterministic verifier can replay and check the resulting computation. The output retains a connection to: • the exact source inputs used • the operations performed on th…