# orderedItems[].object.content
This is my student Lorenzo's (https://loreloc.github.io/) first paper and joint work with amazing Nicola Di Mauro and @rope !

Check out the paper
📜 https://openreview.net/forum?id=RSGNGi B1q4
and the code
🖥️ https://github.com/april-tools/gekcs

or reach out if you want to talk about #probabilities, #reasoning and #generative modelling

# orderedItems[].object.contentMap.en
This is my student Lorenzo's (https://loreloc.github.io/) first paper and joint work with amazing Nicola Di Mauro and @rope !

Check out the paper
📜 https://openreview.net/forum?id=RSGNGi B1q4
and the code
🖥️ https://github.com/april-tools/gekcs

or reach out if you want to talk about #probabilities, #reasoning and #generative modelling

# orderedItems[].object.content
GeKCs ensure that triples violating logical constraints will have zero probability. This means that only triples satisfying constraints can be predicted, as they will have positive probability. We build on top of recent breakthroughs in #NeurosymbolicAI (https://openreview.net/forum?id=o-mxIW AY1T8)!

# orderedItems[].object.contentMap.en
GeKCs ensure that triples violating logical constraints will have zero probability. This means that only triples satisfying constraints can be predicted, as they will have positive probability. We build on top of recent breakthroughs in #NeurosymbolicAI (https://openreview.net/forum?id=o-mxIW AY1T8)!

# orderedItems[].object.content
KGE models struggle to integrate logical constraints (e.g., domain knowledge of a biomedical KG), as they predict triples violating them. Guaranteeing the satisfaction of constraints is crucial to make reliable predictions in high-stake applications (e.g., drug discovery).

# orderedItems[].object.contentMap.en
KGE models struggle to integrate logical constraints (e.g., domain knowledge of a biomedical KG), as they predict triples violating them. Guaranteeing the satisfaction of constraints is crucial to make reliable predictions in high-stake applications (e.g., drug discovery).

# orderedItems[].object.content
While training KGE models is expensive (both in time and memory as shown in the GIF) when dealing with large knowledge graphs with millions of entities, GeKCs come with significant savings as they allow for a much more efficient evaluation of loss functions on GPUs.

# orderedItems[].object.contentMap.en
While training KGE models is expensive (both in time and memory as shown in the GIF) when dealing with large knowledge graphs with millions of entities, GeKCs come with significant savings as they allow for a much more efficient evaluation of loss functions on GPUs.

# orderedItems[].object.content
To do so, we first show that some KGE score functions such as ComplEx (and many variants) are actually special circuits (but not yet probabilistic!).

Then, we show when and how we can convert them into probabilistic circuits modelling a probability distribution over all possible triples.

# orderedItems[].object.contentMap.en
To do so, we first show that some KGE score functions such as ComplEx (and many variants) are actually special circuits (but not yet probabilistic!).

Then, we show when and how we can convert them into probabilistic circuits modelling a probability distribution over all possible triples.

# orderedItems[].object.content
We propose to reinterpret KGE models into generative KGE circuits (GeKCs 🦎).

GeKCs model a probability distribution over triples in a knowledge graph.

Such interpretation is built on top of #probabilistic #circuits (PCs) which bring the perks mentioned above. See the 🧵 below!

# orderedItems[].object.contentMap.en
We propose to reinterpret KGE models into generative KGE circuits (GeKCs 🦎).

GeKCs model a probability distribution over triples in a knowledge graph.

Such interpretation is built on top of #probabilistic #circuits (PCs) which bring the perks mentioned above. See the 🧵 below!

# orderedItems[].object.content
We convert popular knowledge graph embedding (KGE) models such as ComplEx into generative models of triples that

1️⃣ better scale training to very large knowledge graphs
2️⃣ make reliable predictions with logical constraints
3️⃣ support sampling

in our #NeurIPS2023 oral!

# orderedItems[].object.contentMap.en
We convert popular knowledge graph embedding (KGE) models such as ComplEx into generative models of triples that

1️⃣ better scale training to very large knowledge graphs
2️⃣ make reliable predictions with logical constraints
3️⃣ support sampling

in our #NeurIPS2023 oral!

# orderedItems[].object.content
I will be hiring through #ELLIS this year: 3 fully-funded PhD positions for troublemakers in #ML #AI who want to design the next gen of #probabilistic #models and #programs that are provably #reliable and #efficient

Join https://april-tools.github.io

# orderedItems[].object.contentMap.en
I will be hiring through #ELLIS this year: 3 fully-funded PhD positions for troublemakers in #ML #AI who want to design the next gen of #probabilistic #models and #programs that are provably #reliable and #efficient

Join https://april-tools.github.io

# orderedItems[].object.content
Yesterday morning I had a conversation with a TESCREAL guy, and in the evening another one on the streets with people doing proselytism for a Church.

I realized today both followed a pattern: they asked me evidence for the non-existence of God or that AI won't wipe humanity out.

# orderedItems[].object.contentMap.en
Yesterday morning I had a conversation with a TESCREAL guy, and in the evening another one on the streets with people doing proselytism for a Church.

I realized today both followed a pattern: they asked me evidence for the non-existence of God or that AI won't wipe humanity out.

# orderedItems[].object.content
Ill-posed Sunday #math #problems at the @BayesCentre

(by Anonymous, April 2023)

# orderedItems[].object.contentMap.en
Ill-posed Sunday #math #problems at the @BayesCentre

(by Anonymous, April 2023)

# orderedItems[].object.content
TIL why it is called a #murder of #crows...

The culprits flew away in this marvellous #Scottish #morning from the terrace of @InfAtEd Forum...

# orderedItems[].object.contentMap.en
TIL why it is called a #murder of #crows...

The culprits flew away in this marvellous #Scottish #morning from the terrace of @InfAtEd Forum...

# orderedItems[].object.content
everytime I read Lausanne (Losanna in 🇮🇹), my bread brain spells it Lasagna 🍝

apologies to my @EPFL_en @ICepfl friends 🤦

(weekends writing recommendation letters for students do this effect)

# orderedItems[].object.contentMap.en
everytime I read Lausanne (Losanna in 🇮🇹), my bread brain spells it Lasagna 🍝

apologies to my @EPFL_en @ICepfl friends 🤦

(weekends writing recommendation letters for students do this effect)

# orderedItems[].object.content
Easter morning hike to Arthur's Seat with @Branchini_Nic @andreasgrv @loreloc_

# orderedItems[].object.contentMap.en
Easter morning hike to Arthur's Seat with @Branchini_Nic @andreasgrv @loreloc_