Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness
BloomAPR: A Bloom's Taxonomy-based Framework for Assessing the Capabilities of LLM-Powered APR Solutions
arxiv.org·17h
Loading...Loading more...
Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness