A gym gives the model real tools and a strict test: pass, get a reward. Fail, try again. Every gym below is an OpenEnv environment across 10 engineering verticals.
Navigate photorealistic multi-lane urban and highway environments in CARLA. Closed-loop sensor streams, trajectory tracking, collision avoidance, and traffic rule conformance gate reward.
Manipulate articulated objects (doors, drawers, faucets, gears) using contact-rich physics in ManiSkill. Sensor feedback, joint torque limits, and multi-stage goal states determine success.
Train dexterous robotic manipulation policies across MetaWorld and LeRobot benchmark tasks. Multi-camera observations, force feedback, and terminal spatial tolerances gate the reward.
Execute 3D waypoint navigation, wind disturbance rejection, and agile obstacle avoidance for quadcopters. MAVLink telemetry, flight corridor boundaries, and soft landing criteria gate reward.
Stabilize dynamic bipedal and quadrupedal gaits under lateral push disturbances and slippery terrain in MuJoCo. Joint torque limits, ground reaction forces, and zero-fall recovery gate reward.
Tune physical simulator parameters so replayed robot trajectories match recorded hardware telemetry within strict tolerance, compensating for motor latency and backlash.
Control physical robotic manipulators over distributed Viam APIs. End-effector positioning, workspace bounding boxes, collision avoidance, and gripper force sensing gate execution.
Drive autonomous mobile robots (AMR) through dynamic warehouse layouts. LiDAR point clouds, visual odometry, costmap planning, and zero-collision obstacle clearance determine reward.
Coordinate decentralized swarms of autonomous agents moving toward shared spatial formations. Control barrier functions (CBF) and inter-agent collision boundaries gate qualification.
Coordinate two Cartesian grippers in automatic MuJoCo simulation: uncap a marker, extract an eraser or pad, pour clip proxies, and hand over a ruler. Server-owned physical state, bilateral contacts, force limits, and stable task completion determine reward.
Run native MuJoCo 3.11.0 / MjBatch 0.1.0 CPU batches with per-replica friction and actuator controls. Evaluate Go1 velocity tracking with a released PPO actor, G1 backflip MPC, arm friction identification from encoder recordings, and throwing-arm co-design.
Implement synthesizable ALUs, counters, PWM, UART, SPI, and synchronous FIFOs. Hidden simulation, lint, formal equivalence, mapped area, and timing checks gate reward.
Execute full automated floorplanning, placement, clock tree synthesis, and routing for open ASIC designs. Timing closure, setup/hold slack, and foundry DRC/LVS verify the final GDSII.
Size a transistor-level 1.2 V LDO from a 1.8 V supply. Hidden PVT, temperature, mismatch, noise, complete-DUT DRC/LVS/PEX, and post-layout simulation gate qualification.
Automate multi-layer component placement and trace routing for mixed-signal boards. Design rule checks (DRC), differential pair clearance, and thermal relief checks verify the layout.
Design buck-boost, flyback, and resonant converters that meet switching ripple, thermal limits, and efficiency targets across hidden load and voltage operating corners.
Insert scan chains, BIST controllers, and boundary-scan logic into digital netlists, generating test vectors that achieve target stuck-at and at-speed fault coverage with minimal area overhead.
Implement FIR/IIR filters, FFT accelerators, and modem synchronizers. Hidden test vectors, bit-error-rate (BER) curves, and fixed-point overflow prevention determine correctness.
Design Smith-chart matching networks, microstrip filters, and patch antennas that achieve target S-parameter return loss, bandwidth, and radiation efficiency in full-wave 3D simulation.
Optimize stator-rotor geometries, core laminations, and permanent magnet placements in brushless motors and transformers to minimize torque ripple and eddy current losses.
Sequence chemical vapor deposition (CVD), plasma etch, and rapid thermal anneal steps so a kinetic transport simulator matches wafer thickness, profile, and dopant metrology targets.
Orchestrate automated test equipment (ATE) over IEEE 488 / SCPI protocols. Calibrate benchtop oscilloscopes, multimeters, and signal generators against certified reference standards.
Write MISRA-compliant bare-metal firmware drivers and state machines running inside cycle-accurate emulators. Zero memory leaks, zero race conditions, and watchdog survival gate reward.
Optimize a 2D airfoil across hidden Reynolds and Mach operating points. Mesh validity, solver convergence, residuals, and lift-to-drag targets gate qualification.
Plan facing, pockets, drilling, slots, contours, and fixture-safe moves for 6061-T6. Posted G-code is reparsed and swept for collisions, tool limits, finished geometry, and cycle time.
Create dimensioned plates, flanges, brackets, lids, and spacers from parametric source. Hidden feature probes and artifact reopen checks verify the final solid.
Perform structural finite element analysis on complex mechanical components. Minimize part mass while keeping von Mises stress, displacement, and buckling safety factors within code limits.
Plan delta-v burns, orbital transfers, attitude maneuvers, and collision avoidance trajectories for low-Earth and geostationary satellites under strict propellant budgets.
Build a coupled electro-hydraulic actuator across electrical, rotational, hydraulic, and thermal domains. Hidden boundary cases, solver convergence, trajectory error, and conservation checks gate reward.
Create and repair architectural and mechanical drawings with geometry, layers, dimensions, blocks, layouts, and offsets. Entity-level geometric integrity checks verify the output.
Route HVAC ducts, electrical conduits, and plumbing systems through architectural building models without physical clashes against structural beams, columns, or other MEP systems.
Solve inverse problems to calibrate partial differential equation parameters (heat conduction, fluid flow, elasticity) against empirical sensor measurements.
Synthesize optimal fast-charging current profiles for Li-ion cells without triggering lithium plating. Electrochemical Doyle-Fuller-Newman (DFN) ODEs, temperature, and degradation limits gate reward.
Formulate closed-loop supervisory control for multi-zone commercial HVAC systems. ASHRAE thermal comfort bounds, peak power demand constraints, and total energy use determine performance.
Control continuous stirred-tank reactors (CSTR) and distillation columns under feed fluctuations. Functional Mock-up Units (FMU), actuator saturation, settling time, and overshoot bounds gate reward.
Write IEC 61131-3 PLC logic and sequential state machines that operate automated manufacturing cells safely under unexpected sensor failure and emergency stop scenarios.
Synthesize optimal H-infinity, LQR, and state-space controllers for high-order dynamical systems, verified against gain/phase margins and stability certificates.
Assemble multi-unit chemical plant flowsheets (separators, heat exchangers, reboilers). Strict conservation of mass, species, and thermodynamic enthalpy convergence gate qualification.
Solve AC power flow equations across multi-bus transmission and distribution grids, maintaining voltage stability and thermal line limits under N-1 single-contingency line trip scenarios.
Set time-overcurrent (51) and distance (21) protection relay curves across distribution feeders so electrical faults are isolated with correct selective tripping and zero nuisance trips.
Solve security-constrained unit commitment (SCUC) and optimal power flow across regional electricity grids while respecting generator ramp limits and transmission line capacities.
Manage battery pack thermal dissipation and cell-to-cell state-of-charge (SoC) active balancing during high-power fast-charge/discharge cycles to prevent localized thermal runaway.
Tune wall insulation, fenestration, and thermal mass parameters across commercial building models to satisfy ASHRAE 90.1 energy efficiency compliance in real-world weather conditions.
Model municipal water distribution and stormwater drainage networks. Maintain minimum delivery pressure, eliminate water hammer surges, and prevent surface flooding under storm events.
Design resilient home automation policies connecting lights, climate, locks, and sensors. Edge-failure handling, state recovery, and latency bounds gate qualification.
Prove held-out mathlib theorems in their original module context. The target declaration is withheld; Lean elaboration, forbidden-token checks, and kernel axiom auditing determine correctness.
Optimize PyTorch operators with Triton or CUDA. Hidden numerical corner cases, numerical precision guarantees, and stable GPU timing gate the speed reward.
Refactor and accelerate complex analytical SQL queries. Hidden test datasets, query plan cost verification, and strict relational semantics equivalence gate reward.
Formulate optimal schema indexes, table partitioning, and query execution hints on analytical databases, evaluated against actual execution runtime on synthetic workloads.
Synthesize LLVM IR transformations and peephole optimizations that accelerate binary execution while formally proving semantic equivalence via SMT solvers.
Diagnose and repair subtle data races, atomicity violations, and lock deadlocks in multithreaded systems under deterministic thread-interleaving schedulers.
Ingest production traces, OpenTelemetry metrics, and crash dumps to reproduce root-cause failure conditions in a sandbox and verify targeted bug fixes.
Synthesize robust unit and integration tests that catch subtle code mutations. AST operator mutants, boundary value alterations, and test execution time budget gate reward.
Migrate entire modules to newer language standards and frameworks (e.g. Python 2 to 3, React class to hooks) with automated verification of behavior preservation across differential test replays.
Verify enterprise BGP, OSPF, VLAN, and ACL routing configurations. Formal symbolic reachability checks prove no route leaks, black holes, or unauthorized subnets exist.
Specify distributed consensus algorithms and prove them free from deadlocks, livelocks, and state-inconsistency bugs under network partitions and node crashes.
Map abstract quantum algorithms onto target superconducting hardware topologies, minimizing two-qubit CX gate depth and SWAP overhead while preserving unitary state fidelity.
Formulate and prove mathematical identities, asymptotic bounds, and combinatoric identities evaluated against arbitrary-precision arithmetic and computer algebra systems.
Execute complex multi-step enterprise workflows inside isolated virtual desktop machines (file organization, data transfer, reporting), verified by terminal system states.
Right-size cluster instances, database tiers, and autoscaling policies to reduce monthly infrastructure spend while provably preserving p99 latency and availability SLOs.
Analyze and patch buffer overflows, use-after-free, and out-of-bounds pointer vulnerabilities in real C/C++ repositories without breaking existing regression test suites.
Author Sigma and Suricata rules targeting advanced persistence threat techniques, evaluated on attack detection recall and false positive rates across multi-gigabyte baseline audit logs.
Implement post-quantum and elliptic curve cryptographic primitives. Correctness against Project Wycheproof edge-case test vectors, alongside independent constant-time statistical analysis (dudect) to rule out secret-dependent timing leaks, gates reward.
Implement HTTP/2, QUIC, and TLS 1.3 protocol state machines. Full compliance against malformed frame fuzzers and differential reference server implementations gates qualification.
Develop controlled proof-of-concept exploits against isolated vulnerable services to demonstrate impact and verify defense-in-depth mitigations.
Analyze stripped x86/ARM executables, reconstruct high-level control flow graphs, recover struct definitions, and identify hidden logic bombs without source code.
Audit and remediate multi-cloud Terraform modules. Zero privilege escalation vectors, zero public S3/database exposures, and strict least-privilege compliance gate reward.
Orchestrate liquid-handling pipetting protocols for PCR, sample dilution, and multi-well plate transfers. Volumetric accuracy, tip conservation, and deck collision prevention gate reward.
Quantify crystalline phases, residual stress, and microstrain from powder diffraction patterns. Rietveld refinement goodness-of-fit, Scherrer crystallite sizing, and lattice parameter bounds gate qualification.
Propose stable crystal structures for novel solid-state electrolytes and alloys. Ground-state energy minimization, formation enthalpy, and converged density functional theory gate qualification.
Design Cas9/Cas12 single-guide RNAs (sgRNA) for target gene knockouts with systematic evaluation of off-target cleavage risks across the full reference genome.
Propose multi-step organic reaction pathways to synthesize complex target molecules using commercially available building blocks from approved supplier catalogs.
Generate candidate amino acid sequences for target 3D backbone structures and binding pockets. Downstream structural validation via ColabFold and ESMFold determines folding stability, target TM-score, and interface binding free energy.
Design drug-like small molecules that bind strongly into target protein pockets with high docking scores while satisfying Lipinski's rule of five and ADMET filters.
Construct statistical Design of Experiments (DoE) matrices that maximize Fisher information and distinguish competing hypotheses under laboratory cost constraints.
Direct 3D molecular rendering sessions to produce publication-grade structural visualizations highlighting active binding sites, hydrogen bonds, and electrostatic surfaces.
Compute electronic clinical quality measures (eCQM) across synthetic patient cohorts, verifying data extraction and clinical logic against formal specifications.
Design original cross-sectional alpha signals in a restricted formula DSL. Purged cross-validation, next-period rank IC, trading costs, turnover, overfit probability, novelty, and regime stress gate reward.
Optimize execution algorithms across L2/L3 order book feeds to minimize market impact and adverse selection while managing passive fill rates.
Automate complex revenue recognition waterfalls (ASC 606) and equity dilution schedules, ensuring debits and credits balance to the penny.
Encode statutory tax codes, payroll deductions, and social benefit rules into executable formulas, verifying that test households compute down to the exact cent.
Identify and patch security vulnerabilities in EVM smart contracts. Invariant fuzz testing with Foundry, Slither static analysis, and reentrancy/flash-loan attack resistance gate qualification.
Construct arithmetic R1CS zero-knowledge circuits without under-constrained signals, unconstrained assignments, or arithmetic overflow vulnerabilities.
Solve capacitated vehicle routing problems (CVRP) with time windows and manufacturing machine-shop job schedules under hard operational constraints.
Synthesize dynamic stock replenishment policies across regional fulfillment hubs that meet target order fill rates while minimizing holding and transport costs.
Quantify Scope 1, 2, and 3 carbon emissions across industrial product supply chains, verifying mass balance conservation and avoiding double-counting.
Execute complex catalog synchronizations, inventory reserve updates, and order refund flows against simulated e-commerce APIs with zero state inconsistencies.
Build and repair complex multi-sheet financial models and engineering calculations, preserving cell dependencies, unit consistency, and formula audit trails.
Build and repair structured scenes across modeling, assembly, materials, lighting, cameras, animation, and export. Native scene state and exported artifacts—not screenshots alone—determine success.
Write portable GLSL fragment shaders that match visible and hidden test scenes pixel-for-pixel while every measured render frame stays strictly within a 16 ms budget.
Implement deterministic 3D scenes, rigid-body physics, and interactive mechanics that replay identically across headless simulation instances without state drift.
Execute complex raster graphic manipulation pipelines: layer blending, alpha masking, color grading, and format export verified against golden perceptual and structural metrics.