RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen

arXiv 2604.18585•b67d8775b547b9794261d1d2c786a6cb1683ad881b2413af9b884d30662748f7
GPU-optimizationGPU-transpilationLLM-assisted-developmentLLVMSMTabstract-interpretationbinary-analysiscode-generationcompiler-metadatacyber-physical-systemsdisassemblyformal-verificationinstrumentationmemory-safetyperformance-optimizationprogram-verificationresource-safetyreverse-engineeringtemplate-metaprogrammingverified-compilation

Paper metadata

arXiv ID
2604.18585
Version
Not specified by this published record
Category
Computer Science — Programming Languages (cs.PL)

The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.

Evidence and limitations

Source ID
arxiv_cs_pl
Record identifier
b67d8775b547b9794261d1d2c786a6cb1683ad881b2413af9b884d30662748f7
Enrichment time
2026-04-22T08:52:02Z
AI-assisted enrichment
Yes

This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.