Skill UI

Guides using matplotlib to craft static, animated, and interactive plots through both pyplot and object-oriented APIs, detailing styling, subplots, and export options for publication-ready scientific workflows.

This guide outlines best practices for designing and executing Computer Aided Verification (CAV) empirical evaluations. It emphasizes ensuring evidence matches claims by using standard, pinned benchmark sets, selecting fair baselines, respecting equal resource limits, and employing rigorous reporting methods like cactus and scatter plots to establish technical soundness and performance.