Sleeping Agents Performance-Aware Model Compression for Circuit Analysis ๐ธ LLM compression for circuit analysis via prereq graphs.