Demo Data from EDBT 2026 / reviewers in the wild / expert
Johannes Welbl
dblp:150/3294
· DBLP profile ↗
11ranked-venue papers
2as first author
3since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 10 · 2 first-author · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
8 papers |
Trustworthy machine learning · 26% Knowledge representation and reasoning · 26% Language models and text generation · 17% | |
| Software engineering, system software, and programming languages
2 papers |
Program synthesis and code generation · 79% Program verification · 21% |
Topics — the 17 heaviest of 21, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Efficient and distributed learning › efficient training
compute-optimal training |
0.6 | 1 | 2022 | An empirical analysis of compute-optimal large language model training · NeurIPS 2022 |
Machine learning › Deep learning architectures and training
scaling laws |
0.6 | 1 | 2022 | An empirical analysis of compute-optimal large language model training · NeurIPS 2022 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge graph |
0.5 | 2 | 2017 | Knowledge Graph Completion via Complex Tensor Factorization · J. Mach. Learn. Res. 2017 Complex Embeddings for Simple Link Prediction · ICML 2016 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge graph
knowledge graph embedding |
0.5 | 2 | 2017 | Knowledge Graph Completion via Complex Tensor Factorization · J. Mach. Learn. Res. 2017 Complex Embeddings for Simple Link Prediction · ICML 2016 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
causal reasoning |
0.5 | 1 | 2021 | Making sense of sensory input · Artif. Intell. 2021 |
Machine learning › Learning paradigms
unsupervised learning |
0.5 | 1 | 2021 | Making sense of sensory input · Artif. Intell. 2021 |
Machine learning › Trustworthy machine learning › verification
robustness verification |
0.4 | 1 | 2020 | Towards Verified Robustness under Text Deletion Interventions · ICLR 2020 |
Machine learning › Trustworthy machine learning › robustness
certified robustness |
0.4 | 1 | 2019 | Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation · EMNLP/IJCNLP (1) 2019 |
Machine learning › Trustworthy machine learning › robustness › certified robustness
interval bound propagation |
0.4 | 1 | 2019 | Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation · EMNLP/IJCNLP (1) 2019 |
Machine learning › Trustworthy machine learning
robustness |
0.4 | 1 | 2019 | Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation · EMNLP/IJCNLP (1) 2019 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge graph
knowledge graph completion |
0.3 | 1 | 2017 | Knowledge Graph Completion via Complex Tensor Factorization · J. Mach. Learn. Res. 2017 |
Natural language and speech › Language models and text generation
neural language model |
0.3 | 1 | 2017 | Frustratingly Short Attention Spans in Neural Language Modeling · ICLR (Poster) 2017 |
Machine learning › Graph learning
link prediction |
0.2 | 1 | 2016 | Complex Embeddings for Simple Link Prediction · ICML 2016 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
statistical relational learning |
0.2 | 1 | 2016 | Complex Embeddings for Simple Link Prediction · ICML 2016 |
Program verification
neural network verification |
0.1 | 1 | 2020 | Towards Verified Robustness under Text Deletion Interventions · ICLR 2020 |
Natural language and speech › Language models and text generation › natural language understanding › sentence pair modeling
natural language inference |
0.1 | 1 | 2019 | Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation · EMNLP/IJCNLP (1) 2019 |
Knowledge graphs
link prediction |
0.1 | 1 | 2017 | Knowledge Graph Completion via Complex Tensor Factorization · J. Mach. Learn. Res. 2017 |
Methods — techniques the papers use, named apart from their topics
text deletion interventions · 0.9formal verification · 0.9complex-valued embedding · 0.8unitary diagonalization · 0.6tensor factorization · 0.6scaling law estimation · 0.6interval bound propagation · 0.4adversarial training · 0.4neural language model · 0.3hermitian dot product · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | An empirical analysis of compute-optimal large language model trainingabstractWe investigate the optimal model size and number of tokens for training a transformer language model under a given compute budget. We find that current large language models are significantly undertrained, a consequence of the recent focus on scaling language models whilst keeping the amount of training data constant. By training over 400 language models ranging from 70 million to over 16 billion parameters on 5 to 500 billion tokens, we find that for compute-optimal training, the model size and the number of training tokens should be scaled equally: for every doubling of model size the number of training tokens should also be doubled. We test this hypothesis by training a predicted compute-optimal model, Chinchilla, that uses the same compute budget as Gopher but with 70B parameters and 4$\times$ more data. Chinchilla uniformly and significantly outperformsGopher (280B), GPT-3 (175B), Jurassic-1 (178B), and Megatron-Turing NLG (530B) on a large range of downstream evaluation tasks. This also means that Chinchilla uses substantially less compute for fine-tuning and inference, greatly facilitating downstream usage. As a highlight, Chinchilla reaches a state-of-the-art average accuracy of 67.5% on the MMLU benchmark, a 7% improvement over Gopher. Jordan Hoffmann, Sebastian Borgeaud, Arthur Mensch, Elena Buchatskaya, Trevor Cai, Eliza Rutherford, Diego de Las Casas, Lisa Anne Hendricks, Johannes Welbl, Aidan Clark, Tom Hennigan, Eric Noland, Katherine Millican, George van den Driessche 0002, Bogdan Damoc, Aurelia Guy, Simon Osindero, Karen Simonyan, Erich Elsen, Oriol Vinyals, Jack W. Rae, Laurent Sifre |
NeurIPS | 9 |
| 2022 | Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language ModelsabstractLarge language models produce human-like text that drive a growing number of applications. However, recent literature and, increasingly, real world observations, have demonstrated that these models can generate language that is toxic, biased, untruthful or otherwise harmful. Though work to evaluate language model harms is under way, translating foresight about which harms may arise into rigorous benchmarks is not straightforward. To facilitate this translation, we outline six ways of characterizing harmful text which merit explicit consideration when designing new benchmarks. We then use these characteristics as a lens to identify trends and gaps in existing benchmarks. Finally, we apply them in a case study of the Perspective API, a toxicity classifier that is widely used in harm benchmarks. Our characteristics provide one piece of the bridge that translates between foresight and effective evaluation. Maribeth Rauh, John Mellor, Jonathan Uesato, Po-Sen Huang, Johannes Welbl, Laura Weidinger, Sumanth Dathathri, Amelia Glaese, Geoffrey Irving, Iason Gabriel, William Isaac 0001, Lisa Anne Hendricks |
NeurIPS | 5 |
| 2021 | Making sense of sensory inputabstractThis paper attempts to answer a central question in unsupervised learning: what does it mean to “make sense” of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory – objects, properties, and laws – must be integrated into a coherent whole. On our account, making sense of sensory input is a type of program synthesis, but it is unsupervised program synthesis. Our second contribution is a computer implementation, the Apperception Engine, that was designed to satisfy the above requirements. Our system is able to produce interpretable human-readable causal theories from very small amounts of data, because of the strong inductive bias provided by the unity conditions. A causal theory produced by our system is able to predict future sensor readings, as well as retrodict earlier readings, and impute (fill in the blanks of) missing sensory readings, in any combination. In fact, it is able to do all three tasks simultaneously. We tested the engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The Apperception Engine performs well in all these domains, significantly out-performing neural net baselines. We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence. Richard Evans 0001, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot |
Artif. Intell. | 3 |
| 2020 | Towards Verified Robustness under Text Deletion Interventions
Johannes Welbl, Po-Sen Huang, Robert Stanforth, Sven Gowal, Krishnamurthy Dvijotham, Martin Szummer, Pushmeet Kohli |
ICLR | 1 |
| 2020 | Beat the AI: Investigating Adversarial Human Annotation for Reading ComprehensionabstractInnovations in annotation methodology have been a catalyst for Reading Comprehension (RC) datasets and models. One recent trend to challenge current RC models is to involve a model in the annotation process: Humans create questions adversarially, such that the model fails to answer them correctly. In this work we investigate this annotation methodology and apply it in three different settings, collecting a total of 36,000 samples with progressively stronger models in the annotation loop. This allows us to explore questions such as the reproducibility of the adversarial effect, transfer from data collected with varying model-in-the-loop strengths, and generalization to data collected without a model. We find that training on adversarially collected samples leads to strong generalization to non-adversarially collected datasets, yet with progressive performance deterioration with increasingly stronger models-in-the-loop. Furthermore, we find that stronger models can still learn from datasets collected with substantially weaker models-in-the-loop. When trained on data collected with a BiDAF model in the loop, RoBERTa achieves 39.9F1 on questions that it cannot answer when trained on SQuAD—only marginally lower than when trained on data collected using RoBERTa itself (41.0F1). Max Bartolo, Alastair Roberts, Johannes Welbl, Sebastian Riedel 0001, Pontus Stenetorp |
Trans. Assoc. Comput. Linguistics | 3 |
| 2019 | Achieving Verified Robustness to Symbol Substitutions via Interval Bound PropagationabstractPo-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli. Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). 2019. Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli |
EMNLP/IJCNLP (1) | 3 |
| 2018 | Constructing Datasets for Multi-hop Reading Comprehension Across DocumentsabstractMost Reading Comprehension methods limit themselves to queries which can be answered using a single sentence, paragraph, or document. Enabling models to combine disjoint pieces of textual evidence would extend the scope of machine comprehension methods, but currently no resources exist to train and test this capability. We propose a novel task to encourage the development of models for text understanding across multiple documents and to investigate the limits of existing methods. In our task, a model learns to seek and combine evidence — effectively performing multihop, alias multi-step, inference. We devise a methodology to produce datasets for this task, given a collection of query-answer pairs and thematically linked documents. Two datasets from different domains are induced, and we identify potential pitfalls and devise circumvention strategies. We evaluate two previously proposed competitive models and find that one can integrate information across documents. However, both models struggle to select relevant information; and providing documents guaranteed to be relevant greatly improves their performance. While the models outperform several strong baselines, their best accuracy reaches 54.5% on an annotated test set, compared to human performance at 85.0%, leaving ample room for improvement. Johannes Welbl, Pontus Stenetorp, Sebastian Riedel 0001 |
Trans. Assoc. Comput. Linguistics | 1 |
| 2017 | Frustratingly Short Attention Spans in Neural Language Modeling
Michal Daniluk, Tim Rocktäschel, Johannes Welbl, Sebastian Riedel 0001 |
ICLR (Poster) | 3 |
| 2017 | Knowledge Graph Completion via Complex Tensor FactorizationabstractIn statistical relational learning, knowledge graph completion deals with automatically understanding the structure of large knowledge graphs---labeled directed graphs---and predicting missing relationships---labeled edges. State-of-the-art embedding models propose different trade-offs between modeling expressiveness, and time and space complexity. We reconcile both expressiveness and complexity through the use of complex-valued embeddings and explore the link between such complex-valued embeddings and unitary diagonalization. We corroborate our approach theoretically and show that all real square matrices---thus all possible relation/adjacency matrices---are the real part of some unitarily diagonalizable matrix. This results opens the door to a lot of other applications of square matrices factorization. Our approach based on complex embeddings is arguably simple, as it only involves a Hermitian dot product, the complex counterpart of the standard dot product between real vectors, whereas other methods resort to more and more complicated composition functions to increase their expressiveness. The proposed complex embeddings are scalable to large data sets as it remains linear in both space and time, while consistently outperforming alternative approaches on standard link prediction benchmarks. Théo Trouillon, Christopher R. Dance, Éric Gaussier, Johannes Welbl, Sebastian Riedel 0001, Guillaume Bouchard |
J. Mach. Learn. Res. | 4 |
| 2016 | Complex Embeddings for Simple Link PredictionabstractIn statistical relational learning, the link prediction problem is key to automatically understand the structure of large knowledge bases. As in previous studies, we propose to solve this problem through latent factorization. However, here we make use of complex valued embeddings. The composition of complex embeddings can handle a large variety of binary relations, among them symmetric and antisymmetric relations. Compared to state-of-the-art models such as Neural Tensor Network and Holographic Embeddings, our approach based on complex embeddings is arguably simpler, as it only uses the Hermitian dot product, the complex counterpart of the standard dot product between real vectors. Our approach is scalable to large datasets as it remains linear in both space and time, while consistently outperforming alternative approaches on standard link prediction benchmarks. Théo Trouillon, Johannes Welbl, Sebastian Riedel 0001, Éric Gaussier, Guillaume Bouchard |
ICML | 2 |
| 2014 | Event Detection by Feature Unpredictability in Phase-Contrast Videos of Cell Cultures
Melih Kandemir, José C. Rubio, Ute Schmidt, Christian Wojek, Johannes Welbl, Björn Ommer, Fred A. Hamprecht |
MICCAI (2) | 5 |