Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Johannes Welbl

dblp:150/3294 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Machine learning › Efficient and distributed learning › efficient training
compute-optimal training
0.612022
An empirical analysis of compute-optimal large language model training · NeurIPS 2022
Machine learning › Deep learning architectures and training
scaling laws
0.612022
An empirical analysis of compute-optimal large language model training · NeurIPS 2022
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge graph
0.522017
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.522017
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.512021
Making sense of sensory input · Artif. Intell. 2021
Machine learning › Learning paradigms
unsupervised learning
0.512021
Making sense of sensory input · Artif. Intell. 2021
Machine learning › Trustworthy machine learning › verification
robustness verification
0.412020
Towards Verified Robustness under Text Deletion Interventions · ICLR 2020
Machine learning › Trustworthy machine learning › robustness
certified robustness
0.412019
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.412019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation · EMNLP/IJCNLP (1) 2019
Machine learning › Trustworthy machine learning
robustness
0.412019
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.312017
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.312017
Frustratingly Short Attention Spans in Neural Language Modeling · ICLR (Poster) 2017
Machine learning › Graph learning
link prediction
0.212016
Complex Embeddings for Simple Link Prediction · ICML 2016
Knowledge, reasoning and agents › Knowledge representation and reasoning
statistical relational learning
0.212016
Complex Embeddings for Simple Link Prediction · ICML 2016
Program verification
neural network verification
0.112020
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.112019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation · EMNLP/IJCNLP (1) 2019
Knowledge graphs
link prediction
0.112017
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
YearPublicationVenuePosition
2022 An empirical analysis of compute-optimal large language model training
abstract
We 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
NeurIPS9
2022 Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language Models
abstract
Large 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
NeurIPS5
2021 Making sense of sensory input
abstract
This 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
ICLR1
2020 Beat the AI: Investigating Adversarial Human Annotation for Reading Comprehension
abstract
Innovations 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. Linguistics3
2019 Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
abstract
Po-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 Documents
abstract
Most 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. Linguistics1
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 Factorization
abstract
In 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 Prediction
abstract
In 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
ICML2
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