BMS

Start typing to search the publication.

Local EVM Verify · GLM-5.3 arm · Figure 01

Local EVM Verify — GLM-5.3 (ZCode CLI) arm result plate

GLM-5.3 as served to a ZCode CLI session wrote 9/9 executable vulnerability proofs across three conditions on the Local EVM Verify fixtures. Agent-system arm, n = 1 per cell, operator-role contamination disclosed; not an official EVMbench score.

Back to all figures

GLM-5.3 as served to a ZCode CLI session wrote 9/9 executable vulnerability proofs across three conditions on the Local EVM Verify fixtures. Agent-system arm, n = 1 per cell, operator-role contamination disclosed; not an official EVMbench score.
9 of 9 runs produced a verified discriminating proof (3/3 in every condition).Deterministic evaluator in disposable, network-isolated Docker containers; operator-role contamination disclosed; not official EVMbench grading and not a model leaderboard.
Academic PNGAcademic SVG 1200×675 social card Read the full arm report