📢📢 Thrilled to share our new work: Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis! Key Principles 1️⃣ 🤖🤝🔍 Combining LLM Inference Scaling with Dynamic Analysis: * Best of both worlds (program semantics and neural search) 2️⃣ ⚡️🧪 Dual Code-Test