Zobrazeno 1 - 10
of 3 574
pro vyhledávání: '"Bloem, P."'
Autor:
Dance, Hugh, Bloem-Reddy, Benjamin
Many interventions in causal inference can be represented as transformations. We identify a local symmetry property satisfied by a large class of causal models under such interventions. Where present, this symmetry can be characterized by a type of m
Externí odkaz:
http://arxiv.org/abs/2405.13844
Recent work has demonstrated that the latent spaces of large language models (LLMs) contain directions predictive of the truth of sentences. Multiple methods recover such directions and build probes that are described as getting at a model's "knowled
Externí odkaz:
http://arxiv.org/abs/2404.18865
Natural language reasoning plays an increasingly important role in improving language models' ability to solve complex language understanding tasks. An interesting use case for reasoning is the resolution of context-dependent ambiguity. But no resour
Externí odkaz:
http://arxiv.org/abs/2310.14657
Autor:
Younesian, Taraneh, Daza, Daniel, van Krieken, Emile, Thanapalasingam, Thiviyan, Bloem, Peter
Graph neural networks (GNNs) learn to represent nodes by aggregating information from their neighbors. As GNNs increase in depth, their receptive field grows exponentially, leading to high memory costs. Several existing methods address this by sampli
Externí odkaz:
http://arxiv.org/abs/2310.03399
Knowledge graphs enable data scientists to learn end-to-end on heterogeneous knowledge. However, most end-to-end models solely learn from the relational information encoded in graphs' structure: raw values, encoded as literal nodes, are either omitte
Externí odkaz:
http://arxiv.org/abs/2309.01169
Variational flows allow practitioners to learn complex continuous distributions, but approximating discrete distributions remains a challenge. Current methodologies typically embed the discrete target in a continuous space - usually via continuous re
Externí odkaz:
http://arxiv.org/abs/2308.15613
Autor:
Chiu, Kenny, Bloem-Reddy, Benjamin
Symmetry plays a central role in the sciences, machine learning, and statistics. For situations in which data are known to obey a symmetry, a multitude of methods that exploit symmetry have been developed. Statistical tests for the presence or absenc
Externí odkaz:
http://arxiv.org/abs/2307.15834
Knowledge Graph Embedding (KGE) models are used to learn continuous representations of entities and relations. A key task in the literature is predicting missing links between entities. However, Knowledge Graphs are not just sets of links but also ha
Externí odkaz:
http://arxiv.org/abs/2307.06698
Autor:
Córdoba, Filip Cano, Palmisano, Alexander, Fränzle, Martin, Bloem, Roderick, Könighofer, Bettina
Agents operating in physical environments need to be able to handle delays in the input and output signals since neither data transmission nor sensing or actuating the environment are instantaneous. Shields are correct-by-construction runtime enforce
Externí odkaz:
http://arxiv.org/abs/2307.02164
Autor:
Ebrahimi, Masoud, Marksteiner, Stefan, Ničković, Dejan, Bloem, Roderick, Schögler, David, Eisner, Philipp, Sprung, Samuel, Schober, Thomas, Chlup, Sebastian, Schmittner, Christoph, König, Sandra
Publikováno v:
In: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham
We propose a holistic methodology for designing automotivesystems that consider security a central concern at every design stage.During the concept design, we model the system architecture and definethe security attributes of its components. We perfo
Externí odkaz:
http://arxiv.org/abs/2303.02894