Gensyn
A company building AI systems that forecast events; developer of the Verde verification protocol and the REE runtime for reproducible model inference.
Gensyn builds AI forecasting systems 1. Its verification work includes Verde and RepOps, which check machine-learning jobs delegated to compute providers 2:
- Most of the authors of the paper that introduces Verde are at Gensyn 2. In Verde, several providers run the same machine-learning job, and a dispute between them is narrowed to a single operation that a referee re-runs 2. The paper's RepOps library fixes the order of floating-point operations so that results match across hardware 2.
- Gensyn publishes REE, its Reproducible Execution Environment, which it reports runs LLM inference reproducibly and writes receipts that let others re-run it 3. The SDK is MIT-licensed, and the compiler and operator binaries ship under a proprietary licence 3. See deterministic and bit-exact inference.
- Gensyn reports that Verde and RepOps are deployed in Judge, its AI evaluation service 4 5. It reports that Delphi, its information-market app, is live, and that markets settled by open models inside REE produce receipts that anyone can re-run 6.
On this page
Implementations
Implementations this organization develops.
- Gensyn's system for checking delegated machine-learning jobs, which settles disagreements between providers by re-running a single operation with bitwise-reproducible operators.
Publications
Sources this organization authored or published.
- CD. Jedamski (2026). Building Delphi: Pricing, Settlement, and Agentic Trading. Gensyn blog. Source recordCited by Deterministic and bit-exact inference; Verde and RepOps (Gensyn); Gensyn
- BGensyn (2026). gensyn-ai/ree: Gensyn Reproducible Execution Environment (GitHub repository). GitHub. Source recordCited by Deterministic and bit-exact inference; Training-transcript verification (proof-of-learning); Verde and RepOps (Gensyn); Gensyn
- BGensyn: machines that predict the future. Gensyn. Source recordCited by Gensyn
- BGensyn (2026). Reproducible Execution Environment (REE) (Gensyn documentation). Gensyn documentation. Source recordCited by Deterministic and bit-exact inference; Verde and RepOps (Gensyn)
- CGensyn (2025). Introducing Judge. Gensyn news. Source recordCited by Verde and RepOps (Gensyn); Gensyn
- CO. Ersoy (2025). Verde Verification System In Production. Gensyn research blog. Source recordCited by Deterministic and bit-exact inference; Model identity attestation; Verde and RepOps (Gensyn); Gensyn
- BA. Arun et al. (2025). Verde: Verification via Refereed Delegation for Machine Learning Programs. arXiv. Source recordCited by Deterministic and bit-exact inference; Model identity attestation; Training-transcript verification (proof-of-learning); Batch-invariant inference kernels (Thinking Machines); Verde and RepOps (Gensyn); Gensyn
Sources
- BGensyn: machines that predict the future. Gensyn. Source recordSupports: self-description; Delphi and REE as products · homepage
- BA. Arun et al. (2025). Verde: Verification via Refereed Delegation for Machine Learning Programs. arXiv. Source recordSupports: Verde paper, most authors at Gensyn; dispute protocol and RepOps
- BGensyn (2026). gensyn-ai/ree: Gensyn Reproducible Execution Environment (GitHub repository). GitHub. Source recordSupports: REE: reproducible LLM inference with receipts; MIT-licensed SDK, proprietary binaries · README
- CO. Ersoy (2025). Verde Verification System In Production. Gensyn research blog. Source recordSupports: Verde and RepOps deployed in Judge (provider-reported)
- CGensyn (2025). Introducing Judge. Gensyn news. Source recordSupports: Judge, an evaluation service built on Verde and REE (provider-reported)
- CD. Jedamski (2026). Building Delphi: Pricing, Settlement, and Agentic Trading. Gensyn blog. Source recordSupports: Delphi live; markets settled inside REE produce re-runnable receipts (provider-reported)