CodeGen News for 2025-02-25
Newsletter for developers, that work with the AI-generated code. Tools, news, projects, articles.
Top picks
AI Engineer Summit 2025: Agent Engineering (Day 2). (21.02.2025)
Mathematics & AI: From Code Generation to Theorem Proving (Part 12 of 12). (19.02.2025)
Learning to Solve and Verify: A Self-Play Framework for Code and Test Generation - academic text by Zi Lin, Sheng Shen, Jingbo Shang, Jason Weston and Yixin Nie. (20.02.2025)
Reading materials
GiFT: Gibbs Fine-Tuning for Code Generation - academic text by Haochen Li, Wanjin Feng, Xin Zhou and Zhiqi Shen. (17.02.2025)
The Role of GitHub Copilot on Software Development: A Perspec-tive on Productivity, Security, Best Practices and Future Directions - academic text by Suresh Babu Nettur, Shanthi Karpurapu, Unnati Nettur, Likhit Sagar Gajja, Sravanthy Myneni and Akhil Dusi. (18.02.2025)
Conditioning LLMs to Generate Code-Switched Text: A Methodology Grounded in Naturally Occurring Data - academic text by Maite Heredia, Gorka Labaka, Jeremy Barnes and Aitor Soroa. (18.02.2025)
BaxBench: Can LLMs Generate Correct and Secure Backends? - academic text by Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He and Martin Vechev. (20.02.2025)
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation - academic text by Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang and Xiangfeng Wang. (20.02.2025)
Learning to Solve and Verify: A Self-Play Framework for Code and Test Generation - academic text by Zi Lin, Sheng Shen, Jingbo Shang, Jason Weston and Yixin Nie. (20.02.2025)
S*: Test Time Scaling for Code Generation - academic text by Dacheng Li, Shiyi Cao, Chengkun Cao, Xiuyu Li, Shangyin Tan, Kurt Keutzer, Jiarong Xing, Joseph E. Gonzalez and Ion Stoica. (20.02.2025)
Programmers Aren't Obsolete Yet: A Syllabus for Teaching CS Students to Responsibly Use Large Language Models for Code Generation - academic text by Bruno Pereira Cipriano and Lúcio Studer Ferreira. (21.02.2025)
Curious case of AI code generation and Test Automation Engineers - article by Manoj Pandian K. (23.02.2025)
Watching materials
Mathematics & AI: From Code Generation to Theorem Proving (Part 12 of 12). (19.02.2025)
Webinar: The use of AI for code generation ‐ Balàzs Kiss (Cydrill). (20.02.2025)
AI Engineer Summit 2025: Agent Engineering (Day 2). (21.02.2025)
Listening materials
The TWIML AI Podcast episode - π0: A Foundation Model for Robotics with Sergey Levine - 719. (18.02.2025)
Updates from codegen projects
Grok 3 Beta — The Age of Reasoning Agents. (19.02.2025)
Augment Code - Introducing Next Edit: AI that understands the ripple effect of code changes. (19.02.2025)
Announcing the General Availability of GitHub Copilot Extensions. (19.02.2025)
Tabnine - Generic AI code assistants are failing enterprise teams – it’s time for a new approach. (19.02.2025)
zencoder - The Impact of AI on Cross-Platform Development Tools. (19.02.2025)
potpie.ai - Open-source custom AI agents. (20.02.2025)
Tabnine - Beyond Model Selection: True Architectural Freedom for Enterprise AI Software Development. (21.02.2025)
Latitude - How to Measure Prompt Ambiguity in LLMs. (22.02.2025)
Our Sponsors
Odra.dev - cutting-edge smart contract development tools for professionals with deadlines.
To become a sponsor mail us: contact@odra.dev.
Follow us on https://x.com/codegen_news.
Join the discussion or submit your project at https://t.me/codegen_news.