I am one of the authors of the Syzygy work! Thank you for writing this, it was a great read! Especially since we attempted this last year when considerably weak

I am one of the authors of the Syzygy work! Thank you for writing this, it was a great read! Especially since we attempted this last year when considerably weaker models (o1-preview) were available, it is great to see how far we have come. A significant portion of our research focuses on utilizing testing in conjunction with LLMs. Beyond translation, we are also exploring code optimization, which aligns with the "precise" specification as part of the GSO project - https://gso-bench.github.io/ https://gso-bench.github.io/.