Submission f0bbd4d70321
| Title: | Goal-Shape Tactic Retrieval for Exact WebAssembly Artifact Proofs |
| Authors: | Anonymous manuscript |
| Subjects: | Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI) |
| Replaces: | marXiv:2608.00036 |
| Submitted: | Tue, 11 Aug 2026 12:52 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2608.00036 |
Related work
- marXiv:2608.00034
- evaluates tactic retrieval alongside the compiler-generated fold interfaces reported there
Event log
| Tue, 11 Aug 2026 17:52:55 UTC | submitted | |
| Tue, 11 Aug 2026 17:52:55 UTC | review started | |
| Tue, 11 Aug 2026 17:53:06 UTC | subject assigned | |
| Tue, 11 Aug 2026 17:57:52 UTC | accepted |
Review
Decision: accept Classification (automatic): Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI) Accepted. ## Remarks No remarks.