Leverage prompt chaining to build multi-step AI workflows directly in your dev pipeline! Perfect for writing tests, docs, & boilerplate in one shot. 🧠 Ex: "Generate API docs ➝ write unit tests ➝ suggest improvements" – all from a single commit. #AIDevCodes #AI4Code #DevTools

🧑‍💻 Thinking of getting a dev tool subscription — torn between Cursor, Claude Code, or something else 👀 Any devs here using one of these? Would love your thoughts before I subscribe. Drop your fav coding tools below! 💬👇 #devtools #programming #AI4Code

How do you turn a text-to-code model into a smarter AI developer? It starts with supervised fine-tuning, curated code examples, and human feedback. Read how it’s done: hubs.ly/Q03sq_xG0 #GenAI #AI4Code #LLMTraining #DataAnnotation

🚀 Our paper “ClassInvGen” was accepted to #SAIV2025 @confCAV ! We show how LLMs auto-synthesize executable class invariants & tests for C++. PDF: arxiv.org/abs/2502.18917 #FormalVerification #AI4Code #cav25

🤖 Google introduces AlphaEvolve, an AI coding agent powered by Gemini that evolves and optimizes algorithms for math and real-world tasks using automated evaluators. 📐⚙️ #AlphaEvolve #GoogleAI #Gemini #AI4Code #MachineLearning #AlgorithmOptimization alternativestack.com/news/google-la…

@apollonator3000 Solid roundup of AI’s top ROI plays! From routine task agents to deep research, these use cases drive real impact. Pair them with @QodoAI real-time code analysis, auto-generated test cases, and smooth PR walkthroughs—and you’ve got a powerhouse dev workflow. 🚀 #AI4Code…

Amazon’s secret “Kiro” project aims to let AI agents write production code on the fly—next‑gen dev workflow incoming. #LearnHack #AWS #Kiro #AI4Code #CloudNative #DevTools #WednesdayMotivation businessinsider.com/amazon-kiro-pr…

@f_rosario_s #codesmells #machinelearning #softwareengineering #softwarequality #deeplearning #transferlearning #ensemblelearning #datapreprocessing #technicaldebt #mlops #softwaremetrics #maintainability #ai4code #codeanalysis

👨‍💻 Coding with #AI just got smarter. MIT found a way to guide #LLMs to write cleaner, more accurate code across languages. No more spaghetti AI code 🍝 This could change dev workflows forever. #AI4Code #MIT #CodingWithAI #DevTools #Programming

and the endpoints with GCP. Check it out: github.com/carrycooldude/… Huge thanks to Google Cloud for the learning experience and the awesome goodies! #GoogleCloud #VertexAI #CodeClarity #AI4Code #FastAPI #ReactJS #GCP

New models, same struggle! DeepSeek-R1, GPT-4.5 Preview, and Claude 3.7 Sonnet still show low performance on realistic coding tasks (RepoCod-Lite), with Pass@1 of 4.5%, 4.0%, and 3.5%. Top models just reach 10% Pass@1. We need better approaches for code generation! #AI4Code #LLM

Updating real-world large legacy projects like binutils? Meet (arxiv.org/abs/2501.14257) C2SaferRust: leveraging program analysis & LLMs to create idiomatic, safer Rust with (↓38%) raw pointers & (↓28%) unsafe code while preserving functionality 🚀 #rustlang #AI4code #AIAgent

Two of my papers (1 Main and 1 Findings) got accepted at #EMNLP2024! Can’t wait to connect with folks, especially in the #AI4Code community at Miami ✈️🌴 @ProseMsft @emnlpmeeting @Microsoft #NLP #CodeGeneration #Research #EMNLP #AI

After 36 hours of travel, finally at Porto de Galinhas, Brazil to attend @AIwareConf @FSEconf . I'll be here throughout the conference and would love to discuss #AI4Code & #AI4SE in general. Also, share our learnings from building GitHub Copilot inside VS. DMs are open.

(6/6) In summary, INDICT's cooperative critic system demonstrates potential for responsible AI for code, achieving state-of-the-art security without compromising functionality. Explore the future of safe and helpful AI-generated code today! #AI #Innovation #AI4Code

Introducing SemCoder, a semantic-aware Code LLM excelling in code generation and execution reasoning. Trained with high-quality data and novel way of aligning execution, only 6.7B model is outperforming GPT3.5 and CodeLlama 34B. link: arxiv.org/pdf/2406.01006 #LLMs, #AI4Code

also... considering trying to get people at #ICLR2024 together for another one of the (in)famous #ai4code + #ai4math + #neurosymbolicAI meetups. DM me if interested! will probably have to be very low-key (unless you and your company want to organize + sponsor it!)

Finally, check out the appendix! There's a few cool little bonus results in there that we couldn't fit in the main paper. This project was a labor of love and we really tried to be as comprehensive as possible - if you work in #ai4code, I hope you enjoy this knowledge dump!

#ai4code peeps at #ICLR2024: come chat self-repair with me at 10:45 AM on Friday, May 10! I'll be presenting the camera-ready version of this fan favorite from last year... now with even more data! Keep reading for a sneak peek of the results 👇

AK @_akhaliq

2 years ago

#ai4code peeps at #ICLR2024: come chat self-repair with me at 10:45 AM on Friday, May 10! I'll be presenting the camera-ready version of this fan favorite from last year... now with even more data! Keep reading for a sneak peek of the results 👇 https://t.co/QNPIKMEP3j

6 126 504 413K 327

Download Image

A blog on some challenging research problems that our AI for Code teams at IBM Research-India are grappling with everyday: linkedin.com/pulse/code-lar… #IBM #IBMResearch #IBMResearchIndia #AI4Code