Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Polynomial Invariant Generation for Floating-Point Programs
Xuran Cai, Liqian Chen, Hongfei Fu
In numeric-intensive computations, it is well known that the execution of floating-point programs is imprecise as floating-point arithmetic incurs round-off errors. Although round-…
cs.CR2025
Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
Bo Lin, Shangwen Wang, Liqian Chen +1
The integration of Large Language Models (LLMs) into software development has revolutionized the field, particularly through the use of Retrieval-Augmented Code Generation (RACG) s…