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

João G. M. Araújo

dblp:299/8433 · also João Guilherme Madeira Araújo · DBLP profile ↗
← Back
5ranked-venue papers
0as first author
5since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 5 · 5 since 2021

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
5 papers
Reinforcement learning · 47% Deep learning architectures and training · 30% Graph learning · 20%
Theoretical computer science
1 paper
Logic in computer science · 50% Automata and formal languages · 50%

Topics — the 10 heaviest of 12, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Reinforcement learning
actor-critic methods
0.912025
Wasserstein Policy Optimization · ICML 2025
Machine learning › Reinforcement learning
continuous control
0.912025
Wasserstein Policy Optimization · ICML 2025
Machine learning › Graph learning
graph neural network
0.912025
What Makes a Good Feedforward Computational Graph? · ICML 2025
Machine learning › Graph learning › graph neural network
graph rewiring
0.912025
What Makes a Good Feedforward Computational Graph? · ICML 2025
Machine learning › Reinforcement learning › policy optimization
policy gradient
0.912025
Wasserstein Policy Optimization · ICML 2025
Machine learning › Reinforcement learning
policy optimization
0.912025
Wasserstein Policy Optimization · ICML 2025
Machine learning › Deep learning architectures and training
transformer
0.812024
Transformers need glasses! Information over-squashing in language tasks · NeurIPS 2024
Machine learning › Reinforcement learning
deep reinforcement learning
0.612022
CleanRL: High-quality Single-file Implementations of Deep Reinforcement Learning Algorithms · J. Mach. Learn. Res. 2022
Natural language and speech › Language models and text generation › pre-trained language model
decoder-only language model
0.212024
Transformers need glasses! Information over-squashing in language tasks · NeurIPS 2024
Logic in computer science
category theory
0.212024
Position: Categorical Deep Learning is an Algebraic Theory of All Architectures · ICML 2024

Methods — techniques the papers use, named apart from their topics

universal algebra · 1.5monads · 1.5category theory · 1.5wasserstein gradient flow · 0.9theoretical analysis · 0.9mixing time · 0.9fidelity metrics · 0.9actor-critic · 0.9signal propagation analysis · 0.8low-precision floating-point analysis · 0.8
YearPublicationVenuePosition
2025 Wasserstein Policy Optimization
abstract
We introduce Wasserstein Policy Optimization (WPO), an actor-critic algorithm for reinforcement learning in continuous action spaces. WPO can be derived as an approximation to Wasserstein gradient flow over the space of all policies projected into a finite-dimensional parameter space (e.g., the weights of a neural network), leading to a simple and completely general closed-form update. The resulting algorithm combines many properties of deterministic and classic policy gradient methods. Like deterministic policy gradients, it exploits knowledge of the *gradient* of the action-value function with respect to the action. Like classic policy gradients, it can be applied to stochastic policies with arbitrary distributions over actions -- without using the reparameterization trick. We show results on the DeepMind Control Suite and a magnetic confinement fusion task which compare favorably with state-of-the-art continuous control methods.
David Pfau, Ian Davies, Diana Borsa, João G. M. Araújo, Brendan D. Tracey, Hado van Hasselt
ICML4
2025 What Makes a Good Feedforward Computational Graph?
abstract
As implied by the plethora of literature on graph rewiring, the choice of computational graph employed by a neural network can make a significant impact on its downstream performance. Certain effects related to the computational graph, such as under-reaching and over-squashing, may even render the model incapable of learning certain functions. Most of these effects have only been thoroughly studied in the domain of undirected graphs; however, recent years have seen a significant rise in interest in feedforward computational graphs: directed graphs without any back edges. In this paper, we study the desirable properties of a feedforward computational graph, discovering two important complementary measures: fidelity and mixing time, and evaluating a few popular choices of graphs through the lens of these measures. Our study is backed by both theoretical analyses of the metrics’ asymptotic behaviour for various graphs, as well as correlating these metrics to the performance of trained neural network models using the corresponding graphs.
Alex Vitvitskyi, João G. M. Araújo, Marc Lackenby, Petar Velickovic
ICML2
2024 Position: Categorical Deep Learning is an Algebraic Theory of All Architectures
abstract
We present our position on the elusive quest for a general-purpose framework for specifying and studying deep learning architectures. Our opinion is that the key attempts made so far lack a coherent bridge between specifying constraints which models must satisfy and specifying their implementations. Focusing on building a such a bridge, we propose to apply category theory—precisely, the universal algebra of monads valued in a 2-category of parametric maps—as a single theory elegantly subsuming both of these flavours of neural network design. To defend our position, we show how this theory recovers constraints induced by geometric deep learning, as well as implementations of many architectures drawn from the diverse landscape of neural networks, such as RNNs. We also illustrate how the theory naturally encodes many standard constructs in computer science and automata theory.
Bruno Gavranovic, Paul Lessard, Andrew Dudzik, Tamara von Glehn, João G. M. Araújo, Petar Velickovic
ICML5
2024 Transformers need glasses! Information over-squashing in language tasks
abstract
We study how information propagates in decoder-only Transformers, which are the architectural foundation of most existing frontier large language models (LLMs). We rely on a theoretical signal propagation analysis---specifically, we analyse the representations of the last token in the final layer of the Transformer, as this is the representation used for next-token prediction. Our analysis reveals a representational collapse phenomenon: we prove that certain distinct pairs of inputs to the Transformer can yield arbitrarily close representations in the final token. This effect is exacerbated by the low-precision floating-point formats frequently used in modern LLMs. As a result, the model is provably unable to respond to these sequences in different ways---leading to errors in, e.g., tasks involving counting or copying. Further, we show that decoder-only Transformer language models can lose sensitivity to specific tokens in the input, which relates to the well-known phenomenon of over-squashing in graph neural networks. We provide empirical evidence supporting our claims on contemporary LLMs. Our theory points to simple solutions towards ameliorating these issues.
Federico Barbero, Andrea Banino, Steven Kapturowski, Dharshan Kumaran, João G. M. Araújo, Alex Vitvitskyi, Razvan Pascanu, Petar Velickovic
NeurIPS5
2022 CleanRL: High-quality Single-file Implementations of Deep Reinforcement Learning Algorithms
abstract
CleanRL is an open-source library that provides high-quality single-file implementations of Deep Reinforcement Learning (DRL) algorithms. These single-file implementations are self-contained algorithm variant files such as dqn.py, ppo.py, and ppo_atari.py that individually include all algorithm variant's implementation details. Such a paradigm significantly reduces the complexity and the lines of code (LOC) in each implemented variant, which makes them quicker and easier to understand. This paradigm gives the researchers the most fine-grained control over all aspects of the algorithm in a single file, allowing them to prototype novel features quickly. Despite having succinct implementations, CleanRL's codebase is thoroughly documented and benchmarked to ensure performance is on par with reputable sources. As a result, CleanRL produces a repository tailor-fit for two purposes: 1) understanding all implementation details of DRL algorithms and 2) quickly prototyping novel features. CleanRL's source code can be found at https://github.com/vwxyzjn/cleanrl.
Shengyi Huang, Rousslan Fernand Julien Dossa, Chang Ye, Jeff Braga, Dipam Chakraborty, Kinal Mehta, João G. M. Araújo
J. Mach. Learn. Res.7