Galápagos: Automated N-Version Programming with LLMs
Galápagos is a tool that automates the generation of N-Version program variants using LLMs and validates their equivalence, demonstrating effectiveness in creating diverse and reliable variants, even across different programming languages.