Introducing our Posters Co-Chair, Earl T. Barr is a Professor at University College London. His current research focuses on the applications of AI4Code, especially those focused on cybersecurity. #KnowYourOC

Congratulations to Dr. Ziyang Li (@_ziyang_) on defending his dissertation today! Titled "Neurosymbolic Programming in Scallop: Design, Implementation, and Applications", this dissertation proposed Scallop, a unified programming system for combining the otherwise complementary

AISIM .COM. Domain Available for sale . #Simulation #AISIM.#ArtficialIntelligence #AI #AIArtCommuity #AIArtwork #aiartist #aiartweekly #artificialintelligencetechnology #Domains #DomainNameForSale #domainnames

Attending the Trustworthy ML Workshop in person at @MSFTResearch Bengaluru moderated by @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: #GenAI #AI4Code #LLMTraining #DataAnnotation

Alibaba just dropped Qwen3-Coder, its most advanced open-source coding model yet. With MoE architecture and a jaw-dropping 1M token context window, it's going head-to-head with Claude Sonnet 4 — and it's free under Apache 2.0. #OpenSourceAI #DeveloperTools #Alibaba #AI4Code

@MSFTResearch @Penn @AI4Code @SriramRajamani @RajeevAlur @TheSaddlePoint Glimpses from the two-day workshop on Trustworthy AI where experts across industry, academia, and non-profits shared their perspectives on developing and sustaining trustworthy AI systems. @MSFTResearch @Penn .@AI4Code @SriramRajamani @RajeevAlur

Had a fun time attending this 1.5 day workshop on Trusworthy ML at @MSFTResearch Bengaluru. Some pretty engaging talks by @AI4Code, @amt_shrma, @TheSaddlePoint, Dr. Sunayana Sitaram, Dr. Rahul Sharma and others.

#Day2 of Trustworthy Machine Learning workshop hosted by @MSFTResearch Bengaluru. Talks by Vineeth Balasubramaniam (IITH), @AI4Code (@Penn), Amit Deshpande (MSR) and more.

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

Popular AI4Code tools by @ilaisoloducho #swampUP

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.

The paper "Dynodroid: an input generation system for Android apps" received the test of time award! @AI4Code and @machiry_msidc received the award from @davidlo2015 and Lin Tan.

Microsoft Research India is hiring for full-time positions in Bengaluru! Please reach out if you are working in #AI4Code.

The @neurosym summer school is off to a great start!. In the morning, @atharva_sehgal, @akavidemic, and I gave the first part of our tutorial on neurosymbolic programming. Slides at Now @AI4Code is telling us about the Scallop framework for

The final guest speaker in my LLM course, Aakanksha Chowdhery, will speak on Monday November 25 during 1:45-3:15 PM ET. Zoom link in follow-up post!. Title: Multimodal Reasoning and its Applications to Computer Use & Robotics. Speaker: Aakanksha Chowdhery, Senior Staff Research

研究了几天 AI4code（开源的，商业的，国内的，国外的），有了一些新的认知，是时候取消 GitHub 的 copilot 了。.本来想基于 deepseek-coder-v2 做一些微调，但是我一想我数据集咋整呀🥲😮‍💨｡°(°¯᷄◠¯᷅°)°｡，等我把业务用到的一些代码整理下试试。.事已至此先吃饭吧。

@AI4Code @machiry_msidc @davidlo2015 Congrats to the ACM SIGSOFT Distinguished Paper Award winners 🏆

#ai4code peeps at #ICLR2024: come chat instruction tuning code gen with me at 86 poster now!