Miltos Allamanis 🇪🇺 Profile
Miltos Allamanis 🇪🇺

@miltos1

Followers
1K
Following
2K
Media
6
Statuses
240

Researching deep learning for generating and understanding programs. Research Scientist @GoogleAI Also at @[email protected] (Opinions are my own.)

Joined March 2008
Don't wanna be here? Send us removal request.
@miltos1
Miltos Allamanis 🇪🇺
10 months
RT @RandomlyWalking: Our team has been working hard to harness the power of AI to make software more secure.✨🔐. Today we are excited to sha….
0
124
0
@grok
Grok
1 day
Join millions who have switched to Grok.
24
37
399
@miltos1
Miltos Allamanis 🇪🇺
1 year
RT @AnsongNi: Excited to share our work at @GoogleDeepMind!. We propose Naturalized Execution Tuning (NExT), a self-training method that dr….
0
124
0
@miltos1
Miltos Allamanis 🇪🇺
1 year
RT @pengchengyin: A fundamental skill of human developers is to mentally simulate and reason about code execution in natural language. Can….
0
15
0
@miltos1
Miltos Allamanis 🇪🇺
2 years
RT @asvyatko: Our work on smart copy-paste, and automated bug detection and fixing has recently been featured in the MSR blog, both papers….
0
3
0
@miltos1
Miltos Allamanis 🇪🇺
2 years
RT @XiaoyuL47181564: Our work “AdaptivePaste: Intelligent Copy-Paste in IDE” will be presented in @FSEconf at 2pm. Kudos to @asvyatko @milt….
0
2
0
@miltos1
Miltos Allamanis 🇪🇺
2 years
RT @BigCodeProject: Introducing the BigCode Evaluation Harness for Code LLMs:. Inspired by the lm-evaluation-harne….
0
40
0
@miltos1
Miltos Allamanis 🇪🇺
2 years
RT @RandomlyWalking: Honoured to receive this award for Most Influential Paper (10-year) for #MSR2023! . Hard to believe it's been a decade….
0
12
0
@miltos1
Miltos Allamanis 🇪🇺
3 years
RT @asvyatko: I am speaking at AAAI AP2S workshop on grammar-guided code completion tomorrow #AAAI23 . Program:
0
2
0
@miltos1
Miltos Allamanis 🇪🇺
3 years
This is an interesting result! But does "filtering-for-stars" tells us something about the included code quality/quanitity or the benchmark (HumanEval & co)? (probably something about both. ).
@BigCodeProject
BigCode
3 years
In addition to the standard near-deduplication and heuristics pipeline, we ran 4 filtering experiments: GitHub stars, tokenizer fertility, comment-to-code ratio and more near-deduplication. Filtering for GitHub stars hurts performance while comments and near-dedup help!
Tweet media one
0
0
7
@miltos1
Miltos Allamanis 🇪🇺
3 years
RT @DishaShrivasta9: Submissions are now open at:
openreview.net
Welcome to the OpenReview homepage for ICLR 2023 Workshop DL4C
0
3
0
@miltos1
Miltos Allamanis 🇪🇺
3 years
RT @devanbu: Interested in applying Large Language models to software engineering tasks, especially studying generated code quality/securit….
0
13
0
@miltos1
Miltos Allamanis 🇪🇺
3 years
RT @DishaShrivasta9: I'm on the job market for industrial research and postdoc positions! My research focusses on developing deep learning….
0
11
0
@miltos1
Miltos Allamanis 🇪🇺
3 years
RT @yahave: Every day is a good day to remind ourselves of the fundamental "theorem" of program synthesis: Synthesis is useful if the cost….
0
13
0
@miltos1
Miltos Allamanis 🇪🇺
3 years
RT @mmjb86: Some of my last work at MSR, led by @DobrikG and @miltos1. It introduces a transformer variant capable of processing hypergraph….
0
4
0
@miltos1
Miltos Allamanis 🇪🇺
3 years
🐶CoRGi #KDD2022. Often, we forget that graph representations are (lossy) projections of a domain into a graph. In our paper, @jyscardioid et al., we present a simple, yet effective, way to incorporate rich node content into the GNN message-passing. 📄
1
0
10
@miltos1
Miltos Allamanis 🇪🇺
3 years
RT @tscholak: Hi there! I will host the Deep Learning for Code panel at the @DL4Code workshop at @iclr_conf on Friday at 1pm EDT. If you ha….
0
16
0
@miltos1
Miltos Allamanis 🇪🇺
3 years
Excited for our #ICLR2022 Grammformers work:.💡A grammar-based transformer model generates code inserting holes where it is uncertain about the concrete completion. 👉Reduces mistakes (~potential bugs), ie, handles uncertainty, instead of generating 🗑. 📄
1
15
70
@miltos1
Miltos Allamanis 🇪🇺
3 years
RT @eaftandilian: 👋 We're #hiring for GitHub Copilot! We're looking for managers and individual contributors for the IDE and Model Improvem….
0
11
0