#ai4code - Twitter Hashtag

about 2 months ago

In Goju's course at Stanford (CS329M), he aims to guide students on how to teach machines so that they can reason about software. #ai4code #machineprogramming #gojutechtalk #gtt #responsibleai #openai #anthrropic

0

1

63

Theo X. Olausson @theo_olausson

4 months ago

By popular request, the submission deadline for the #VerifAI workshop at @iclr_conf has been extend to Sunday, Feb 8 (AoE) 🎉🎉 🎉 But don't leave it until the last minute - submit your papers on RLVR, AI+verification, #ai4code and #ai4math now! 👉 https://t.co/2ot0egC9AQ

theo_olausson's tweet photo. By popular request, the submission deadline for the #VerifAI workshop at @iclr_conf has been extend to Sunday, Feb 8 (AoE) 🎉🎉 🎉

But don't leave it until the last minute - submit your papers on RLVR, AI+verification, #ai4code and #ai4math now! 👉 https://t.co/2ot0egC9AQ https://t.co/JDE1FDnP0Q

0

5

1

4

1K

Chuyue (Livia) Sun @chuyue_sun

7 months ago

Authored by: Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu Lahiri, Shan Lu, David Dill & Clark Barrett #FormalVerification #RustLang #AI4Code #LLMs #Verus #ProofAutomation

0

1

0

364

IEEE Secure Development @ieeesecdev

8 months ago

🧩 Karim Khalil from Lund University presents “Catching Common Vulnerabilities with Code Language Models.” The work examines how code language models can identify and mitigate common security flaws in software. #SecDev2025 #VulnerabilityDetection #AI4Code

ieeesecdev's tweet photo. 🧩 Karim Khalil from Lund University presents “Catching Common Vulnerabilities with Code Language Models.”
The work examines how code language models can identify and mitigate common security flaws in software.
#SecDev2025 #VulnerabilityDetection #AI4Code https://t.co/23GSxanjIQ

0

1

0

119

Profile @EsProfile

8 months ago

🎥 Nuevo #TechiePills: 3 hacks con ChatGPT para devs 💻 Pair programming, tests con casos límite y explicador de legacy. 📲 Síguenos en YouTube y aprende + sobre dev, IA, gestión y diseño. ▶️ ¡Dale al play! #DevTips #AI4Code

EsProfile's tweet photo. 🎥 Nuevo #TechiePills: 3 hacks con ChatGPT para devs
💻 Pair programming, tests con casos límite y explicador de legacy.
📲 Síguenos en YouTube y aprende + sobre dev, IA, gestión y diseño.
▶️ ¡Dale al play!
#DevTips #AI4Code

0

1

0

38

Pushmeet Kohli

@pushmeet

8 months ago

Following up on the AlphaEvolve code opt. agent, I am happy to share how our team at @GoogleDeepMind has developed the CodeMender agent to design/apply patches to fix security vulnerabilities in large scale open source projects. #AI4code Read more at: https://t.co/8nBBE40yxY

4

211

26

51

14K

Nitin Rachabathuni

@nrachabathuni

10 months ago

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

0

11

Pankaj Pandey @mrpankajpandey_

11 months ago

🧑‍💻 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

0

1

0

105

iMerit Technology @iMeritDigital

12 months ago

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: https://t.co/FarKaeNCjZ #GenAI #AI4Code #LLMTraining #DataAnnotation

iMeritDigital's tweet photo. 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: https://t.co/FarKaeNCjZ

#GenAI #AI4Code #LLMTraining #DataAnnotation https://t.co/mQh0rToBuY

0

247

Chuyue (Livia) Sun @chuyue_sun

about 1 year ago

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

2

10

2

859

AlternativeStack @AlternativeStck

about 1 year ago

🤖 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 https://t.co/56oZwTamwQ

AlternativeStck's tweet photo. 🤖 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

https://t.co/56oZwTamwQ https://t.co/MbqfIH6pkN

0

59

DeepBurrow @DeepBurrow

about 1 year ago

5/ Try it on your contracts: https://t.co/SeL6nbQwZK #Solidity #SmartContracts #DevSecOps #Web3 #AuditGPT #DeepBurrow #AI4Code

0

37

LearnHack.ai @learnhackai

about 1 year ago

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 https://t.co/dRPj4VJPIj

0

43

IST Journal @ISTJrnal

about 1 year ago

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

1

0

58

DariaAI @AI_NewsDaily

about 1 year ago

👨‍💻 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

0

1

0

15

Kartikey Rawat @carrycooldude

about 1 year ago

and the endpoints with GCP. Check it out: https://t.co/nE2CYSqO74 Huge thanks to Google Cloud for the learning experience and the awesome goodies! #GoogleCloud #VertexAI #CodeClarity #AI4Code #FastAPI #ReactJS #GCP

0

67

Shanchao Liang @LiangShanchao

about 1 year ago

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

LiangShanchao's tweet photo. 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 https://t.co/B6w1Fma6Kd

2

7

1

2

490

Baishakhi Ray @baishakhir

over 1 year ago

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

1

37

2

4

2K

Mukul Singh @Mukul_Singh_1

over 1 year ago

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

3

16

0

1

2K

Yasharth Bajpai

@imYbajpai

almost 2 years ago

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.

imYbajpai's tweet photo. 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. https://t.co/4h0GPz4WrG

3

25

5

0

2K

Top Tweets for #ai4code

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users