PROVERON / ENVIRONMENTS

One engine. Different worlds.

A business workflow is more than a prompt. Each environment describes its own records, rules, documents, actions and correct outcomes—so an agent can be tested in realistic context.

Explore the catalogue FINANCE AP-BANKREC LIVE
ONE ENGINE / MANY DOMAIN PACKS01—N
01 / FINANCE OPERATIONSOrders → invoices → payments → bankLIVE BENCHMARK PACK
02 / TRADE & LOGISTICSBills of lading · customs · FXACTIVE PIPELINE
03 / VERIFIABLE RLVRPrime Intellect & Gym environmentsREADY FOR LABS
The engine stays generic; the domain knowledge lives in each pack.
01 / WHAT CHANGES BY DOMAINKnowledge belongs in the pack

Every world has its own working logic.

Reusing the engine does not mean pretending every profession works alike. A new environment needs new knowledge and new evidence.

01

Records & relationships

What exists, how records connect and which fields matter.

02

Rules & exceptions

What a practitioner would check, and when the normal path changes.

03

Documents & tools

What an agent may read, write and infer from permitted evidence.

04

Outcomes & review

What earns credit, what is unsafe and who has reviewed the judgement.

02 / ENVIRONMENT CATALOGUEEnterprise and RL tracks

Built for distinct work.

Finance operations is our live, empirically evaluated benchmark pack. Subsequent tracks expand into corporate operations, trade logistics, and wholesale RL environments for AI labs.

01 / LIVE BENCHMARK PACK

Finance operations (AP-BankRec)

Linked suppliers, purchase orders, invoices, payments and bank entries. The agent must investigate mismatches, repair links, stage approvals and leave an immutable, tamper-evident trail.

LINKED RECORDSPDF · EMAIL · SPREADSHEET EVIDENCEZERO LLM JUDGE
See comparative 12-model results
02 / ACTIVE PIPELINE

Procure-to-Pay (P2P)

Purchase requisition approvals, supplier onboarding, and tiered managerial sign-offs for corporate spend management.

03 / ACTIVE PIPELINE

Trade & Logistics

Movement of goods, international bills of lading, customs tariffs, and multi-currency cross-border reconciliation.

04 / READY FOR LABS

Prime Intellect RL Hub

Native adapter for Prime Intellect's `verifiers` hub, enabling RL training of reasoning models on enterprise tasks.

05 / READY FOR LABS

Gymnasium TrainingEnv

Gym-compatible environment with fast in-memory SQLite resets for PPO/DPO training at thousands of steps/sec.

03 / THE RELEASE BAR

A new domain is a new claim.

Every pack needs clean data, correct planted cases, a solvable task, answer-safe tools, shortcut checks and practitioners who can challenge its realism. A finance result does not automatically transfer to another domain.

Read the benchmark method