MemTrace-Bench: A Benchmark for Replay-Defined Harm in Stateful Coding Agents (ICSE 2027)
benchmark persistent-memory software-engineering reproducibility lean4 coding-agents icse2027 replay-evaluation
-
Updated
Jun 10, 2026 - Python