{"id":"2602.05762","title":"RocqSmith: Can Automatic Optimization Forge Better Proof Agents?","url":"https://codeofpaper.com/paper/2602.05762","arxiv_url":"https://arxiv.org/abs/2602.05762","published":"2026-02-05","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}