Microsoft PROSE Team @ProseMsft
Official account for the ⚡ PROSE research/engineering team at @Microsoft. PROSE ships in Excel (Flash Fill), Visual Studio (IntelliCode), and more. 🚀 aka.ms/prose Redmond, WA, USA Joined August 2020-
Tweets63
-
Followers721
-
Following19
-
Likes37
@ProseMsft @5hv5hvnk @AnanyaSingha18 @SumitGulwani @gustavoas @arjun_rad I am attending EMNLP🌴in-person at Miami, to present MetaReflection. Please drop by at the Riverfront Hall at the 11AM Poster session on Nov 13th (today!) to know more about it or chat about Language agents and Neuro-symbolic AI at large!
Checkout our team's latest research at @emnlpmeeting #EMNLP2024. If you are interested in what we do, we have various opportunities at different career stages. Find more at: microsoft.com/en-us/research…
@ProseMsft @5hv5hvnk @AnanyaSingha18 @SumitGulwani @gustavoas @arjun_rad I am attending EMNLP🌴in-person at Miami, to present MetaReflection. Please drop by at the Riverfront Hall at the 11AM Poster session on Nov 13th (today!) to know more about it or chat about Language agents and Neuro-symbolic AI at large!
Flying to Miami tomorrow for #EMNLP2024! Excited to present two papers: 1. RAR: Retrieval Augmented Retrieval for Code Generation. 2. One-to-many Testing for Code Generation from (just) Natural Language. Let's chat if you are interested in AI for Code or Neuro-symbolic AI!🌴✈️
Excited to see Metareflection - our EMNLP'24 paper on improving language agents, featured in Research Focus!
New Research | FLASH: Workflow automation agent for diagnosing recurring incidents; METAREFLECTION: Learning instructions for language agents using past reflections; Boosting LLM training efficiency through faster communication between GPUs; and more: msft.it/6011WrHdd
⚡️The PROSE team is hiring a Senior Researcher in Bangalore, India⚡ This is an amazing opportunity to do research that will impact millions of people using Excel, Visual Studio, Power Query, and more! jobs.careers.microsoft.com/global/en/job/…
It was an emotional, learning, and fun experience to put together and deliver this keynote at CAV: youtube.com/watch?v=PeeFc9… Thanks to Aarti Gupta for the souvenir pictures that capture the title and concluding remarks, without revealing the plot. Watch the talk to see who wins😊
Inspiring talk by @SumitGulwani at CAV 2023 on what program synthesis can do the era of ever powerful LLMs, particularly for education
Data scientists spend 60-80% of their time in data pre-processing. Excited to present CoWrangler, a tool that suggests data cleaning steps for your data with human-readable code! Check out our demo at @SIGMODConf🎉 Paper: doi.org/10.1145/355504… Poster: afariha.github.io/posters_and_sl…
One of our amazing fellows, @AnirudhKhatry, wrote about his experiences that led him to join the team: anirudhkhatry.com/posts/makingte…
The PROSE team is hiring Research Fellows in India to work on program synthesis⚡This is a 1-year appointment to do applied research that will impact millions of people using Excel, Visual Studio, Power Query, and more! microsoft.com/en-us/research…
We kick off day two of #SEMLA2023 with an interesting presentation on "Leveraging LLMs as Analogical Reasoning Engines to enhance Programming-by-Example (PBE) experiences" by @SumitGulwani from @MSFTResearch !
At #SEMLA2023, @SumitGulwani, a computer scientist from @MSFTResearch who is leading @ProseMsft will talk about different aspects of synthesizing an intended program snippet from the user’s intent. #AIAssistedProgramming #FlashFill++ Register here 👉 lnkd.in/d6-32fr
A product I worked on is released! Please try Data Wrangler for @code and let us know what you think. AI powered by @ProseMsft. austinhenley.com/blog/datawrang…
You can now use Flash Fill ⚡ in VS Code with Data Wrangler... let us know your thoughts!
📢 We’re excited to announce the Data Wrangler extension for VS Code Insiders. Our new, code-centric, AI-powered data cleaning/prep tool has officially previewed today! 🎉 Search "Data Wrangler" in the extension Marketplace to try it out! Learn more at aka.ms/dwrelease
Fantastic team behind this work: @duskybomb @AbishaiEbenezer @josepablocam @SumitGulwani @adityakanade0 @pidgeyusedgust @ivan_radiek and Vu Le
We introduce FLAME, a model with only 60 million parameters for Excel formula assistance. It outperforms much larger models with billions of parameters, such as Codex-Davinci and Codex-Cushman, in several tasks for formula repair, completion, and syntax.
FLAME: A small language model for spreadsheet formulas abs: arxiv.org/abs/2301.13779 FLAME(60M) can outperform much larger models, such as Codex-Davinci (175B), Codex-Cushman (12B), and CodeT5 (220M), in 6 out of 10 settings
There are many opportunities for AI to better support teachers and students. We aim for our research to radically improve these challenges that instructors are facing!
We ran a study to understand the pain points of CS instructors that was accepted to SIGCSE’23. Check out this summary of our findings! Collab with @smirhosseini @chrisparnin austinhenley.com/blog/teachingp…
Our team's work on Excel Formula Suggestions and Formula by Examples has been featured on the @verge! (I was not personally involved) Talk about research with large-scale impact! @ProseMsft @Microsoft @SumitGulwani theverge.com/2022/12/27/235…
Congratulations to our research fellow @BhavyaChopra1 for graduating with honors! 🎉
I feel grateful to have graduated from @IIITDelhi with a bachelor's degree in Computer Science and Design with Honors!🎓 #IIITDConvocation #IIITDClassof2022
The PROSE team is so proud of @SumitGulwani for kicking off @FSEconf 2022 with a riveting keynote on AI-Assisted Programming!
Great @FSEconf keynote from @SumitGulwani on highly impactful research. Interesting fact: it took ~3 weeks to build the initial FlashFill research prototype, and ~2 years to make it part of Excel.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
🇺🇦 Alex Polozov @Skiminok
6K Followers 867 Following Member of Technical Staff @reflection_ai • previously @GoogleDeepMind, @Theteamatx, @MSFTResearch, @uwcse • program synthesis, AI for Code & SWE
Austin Henley @AustinZHenley
5K Followers 2K Following Researcher Pro Max at Microsoft⚡️AI and developer tools⚡️ex startup, ex professor at Carnegie Mellon University
Harshit Joshi @harshitj__
2K Followers 396 Following CS phd @StanfordNLP, @StanfordOVAL | prev: @MSFTResearch | LLM systems for knowledge access, discovery and curation
Parth Thakkar @parth007_96
2K Followers 2K Following @Meta | Previously @IllinoisCS @MSFTResearch @IBMResearch | LLMs + code
Bhavya Chopra @BhavyaChopra1
968 Followers 783 Following CS PhD Student @UCBerkeley • previously at @Microsoft @ProseMSFT @Tableau @IIITDelhi • HCI+AI research for Data
Rajaswa Patil @RajaswaPatil
3K Followers 3K Following AI @maximor_ai || Prev: @getpostman @Microsoft || Alumni @bitspilaniindia || Opinions are my own
andrew blinn @disconcision
8K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Stefania Druga @Stefania_druga
13K Followers 9K Following Staff Research Scientist @SakanaAILabs RSI Lab, alumni @GoogleDeepMind @mit
Andy Gordon @AndrewDGordon
2K Followers 984 Following Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Elena Glassman @roboticwrestler
6K Followers 7K Following Human. Asst Professor of CS at Harvard University @HSEAS. @RadInstitute Fellow '21-22. MIT EECS PhD'16. https://t.co/jjKOMBMWGb @elglassman.bsky.social
Saksham @sgdescent
1K Followers 2K Following Interested in making LLMs go brrrrr x+N: @datologyai and @openai x: @LTIatCMU x-N: https://t.co/ht5ObQh7RV & Program Synthesis with LLMs @ProseMsft
Renat Bek @renebek
1 Followers 35 Following
Ethan Wickstrom @ethanwickstrom
283 Followers 1K Following Everything I do is an ongoing process; I see code and writing as ways to test and refine how I think. Been writing code since I was 8. Generalist / @talliedart
Bitcode ($BTD) @bitcodehq
585 Followers 8K Following Auditable market infrastructure for commodifying knowledge. $BTD (🧪,⚖️)
Shaheen_Knight @Shaheen_Knight
30 Followers 2K Following 'A true selfless act always sparks another' ❣❧ —Klaus, Klaus (2019)
Phillip Lord @philliplord1
16K Followers 14K Following CEO of https://t.co/HyUViCqs0W $8105.T 🇯🇵 ALL IN
Louis Fréchet @gumbelfrechet
213 Followers 2K Following Logic-based probability & probability-based statistics. Retweet or follow does not imply endorsement.
Adi @adi_baradwaj
19K Followers 11K Following Founder @Astra_Markets, Prev: @AlamedaResearch, @Google, @Berkeley_EECS. https://t.co/yd2l58oRcv
Ndea @ndea
11K Followers 98 Following A new intelligence science lab founded by @fchollet & @mikeknoop. Deep Learning-guided Program Synthesis. We're hiring.
Charan Sai Vaddi @CharanSaiVaddi
6 Followers 520 Following
Kron @KronicPoseidon
12 Followers 3K Following
NEC Labs America @NECLabsAmerica
1K Followers 6K Following @NEC Labs America delivers high-impact #technology #research. Located in Princeton, NJ & San Jose, CA. #AI #MachineLearning #DataScience #OpticalNetworking
Rafi Snowbell @Raf1snow
0 Followers 43 Following
Random spammer @JapneetSings
6 Followers 227 Following
Ningzhi Tang @TangNingzhi
149 Followers 616 Following Intern @Google | Ph.D. Candidate @ND_CSE | Human-AI Alignment for Coding Agents | B.Eng. @SUSTechSZ
Pratyaksh Patel @baldwin_IVth
2K Followers 825 Following Theorymaxxing | Previously theorymaxxed @iiserbhopal'26.
Sai Ashwin @hsaias_
63 Followers 4K Following undergrad @iitmadras. tech lead @RaftarIITM. security research @iitmcse. ambition/skill approaching infinity
Param Biyani @biyaniparam
0 Followers 1 Following AI4Code, Formal Mathematical Reasoning AI4Math, Human Machine Cognition. Research Fellow @microsoft
Eemuwoom @Eemuwoom20730
9 Followers 533 Following
🐨 صدرا @CruiseChef_
135 Followers 3K Following
Ayush Anand @AnandAyush11
10 Followers 229 Following RA @ IIIT-Delhi | Researching neural foundations for language intelligence
Lisandro Vazquez @lis4ndrov
0 Followers 2 Following
Soumyadeep Dutta @ashtamspark
0 Followers 21 Following
Kyle Tristan Adams @AdamsDev228
96 Followers 1K Following Developer using @VisualStudio Insiders, @code, @Azure, @dotnet, @GitHub | 📩 [email protected]
Ricardo Lopez @llrrllvv
259 Followers 5K Following Mathematician | I am a PhD candidate at @IIMAS_UNAM. I research some intersections between logic and computability | Professor at @FIUNAM_MX and @fciencias
Haoyu Dong @HaoAreYuDong
205 Followers 395 Following Senior Researcher @Microsoft | #SpreadsheetLLM #FinWorkBench #MachineLearningLM #TRLWorkshop@NeurIPS opinions my own.
SilverberryYoda @SilverberryYoda
0 Followers 7K Following
Arjun Kandaswamy @ArjunKandaswam1
0 Followers 71 Following
/ @2Uj6c
0 Followers 8K Following
Akshat Sharma @AkshatW6189
188 Followers 751 Following GSOC '25 Mentor, C4GT & MSOC Mentor | GSoC '24 Contributor @ The Mifos Initiative | Research Intern @ UC Berkeley
sillah @sillah63252478
92 Followers 1K Following
Rush @ThatSigmaAiGuy
5 Followers 263 Following
Anzony @AnzonyQuispe
364 Followers 5K Following Causal Inference, Econometrics, Environmental Economics, Machine learning and Worship!
Simra Shahid @its_sshahid
131 Followers 847 Following Researcher at Microsoft | Making AI useful for people: Evaluation. Discovery. Creativity
Surjyendu Ray @surjray
75 Followers 2K Following Data Scientist Lead @LexisNexis Risk, AI enthusiast, astronomy/cosmology nerd, Genomics and computational Biology in a past life! Building towards AGI and ASI!
Tushar Chandra :)) @me_tushari
2K Followers 2K Following mentally in sf • 23 • ai eng/researcher • 🎓 alum @IIITDelhi
Terry Kim @terryhappens
17 Followers 958 Following
Ravisankar - Knowthys... @RKnowthyself
25 Followers 804 Following
Semper Fi @SolLucetSemper
361 Followers 4K Following „for wee must Consider that wee shall be as a City upon a Hill, the eies of all people are uppon us“
Oleksiy Syvokon 🇺�... @OSyvokon
40 Followers 99 Following ML/NLP researcher at Microsoft. Father of two. Pianist.
Prof. Dr. ABIDI B.Com... @ABIDI19425719
112 Followers 5K Following International University Liaison Indonesia Microsoft University University of Edinburgh Online Learning Department of Computer Science University of Toronto
Hello World @HelloWo42823173
0 Followers 11 Following
Pranav Deshmukh @violetflyweight
28 Followers 2K Following Intern at CELOS Lab, HYU, South Korea. Undergraduate at IIT Guwahati. Interested in Robot Learning and Reinforcement Learning. https://t.co/lmDBv6kYNl
Austin Henley @AustinZHenley
5K Followers 2K Following Researcher Pro Max at Microsoft⚡️AI and developer tools⚡️ex startup, ex professor at Carnegie Mellon University
Daniel Perelman @danpere_MS
8 Followers 4 Following Research Software Engineer at Microsoft working on the PROgram Synthesis using Examples SDK.
Clint Simon 👀 @clintsim
190 Followers 640 Following Engineer at Microsoft. Cajun. Typos are my spirit animal.
Jonathan Carter @LostInTangent
8K Followers 82 Following I build stuff @GitHub (prev. Microsoft), and make my own tools for thought (https://t.co/rWjkSRpB6P), terminals (https://t.co/KAey0HQe8y), and VS Code extensions
⭐ Peter Groenewegen... @pgroene
536 Followers 608 Following Building AI tools for developers @microsoft
Wode "Nimo" Ni @wodenimoni
458 Followers 274 Following diagramming @brilliantorg 👁️ Ph.D. @ CMU 🎓 pool player 🎱 working on @UsePenrose
hmm @iandrosos
166 Followers 136 Following I’m telling you. You. Accomplishments I’d been chasing all my life. Never felt as good as I expected when I crossed the finish line.
SAINTES @ MSR @saintesmsr
244 Followers 81 Following Software Analysis and Intelligence in Engineering Systems (SAINTES) team at Microsoft Research.
Microsoft Research @MSFTResearch
554K Followers 2K Following We advance science and technology to benefit humanity.
Microsoft @Microsoft
13.1M Followers 1K Following We're on a mission to empower every person and every organization on the planet to achieve more. Support: @MicrosoftHelps
Mark Wilson-Thomas @MarkPavWT
2K Followers 2K Following Tadley Town Councillor. Retired Principal Program Manager for @Microsoft @VisualStudio. Educated Uni of York, UK. Looking to serve my local community of Tadley.
Sumit Gulwani @SumitGulwani
2K Followers 328 Following Inventor of @msExcel Flash Fill. Distinguished Scientist @Microsoft leading @ProseMSFT (AI4Code). Connecting ideas, people, and research & practice. Dad
Gustavo Soares @gustavoas
590 Followers 475 Following Researcher @Microsoft working on program synthesis in the PROSE team. He/Him
Arjun Radhakrishna @arjun_rad
124 Followers 29 Following Researcher @ Microsoft in the PROSE team. Working on programming synthesis.
Danny Simmons @simmdan
271 Followers 63 Following I'm a developer at Microsoft working on program synthesis and data technologies in DevDiv.Trends for United States
You might like
