Executable checks for generated software
Several papers put large language model (LLM) output under task-specific tests instead of accepting fluent code. ConCovUp targets concurrent C/C++ behavior by finding shared-memory access pairs, reasoning backward to inputs, and running generated multi-threaded drivers. It raises average Shared Memory Access Pair (SMAP) Coverage on nine libraries from 36.6% for a Claude Code baseline to 68.1%.
RubricRefine applies the same discipline before live tool execution. It generates a rubric for the task and tool registry, checks output shape, routing, argument provenance, and call order, then repairs the code before any environment action. On M3ToolEval, it reports 0.86 average success across seven models, compared with 0.62 for single-pass CodeAct. SmartEval extends this evaluation pressure to Solidity contracts, scoring 9,000 generated contracts on specification fidelity, state-machine correctness, business logic, and code quality.