← Search

Marco Luca Sbodio

2 accepted papers

2024

Knowledge Enhanced Representation Learning for Drug Discovery

AAAI 2024technical

Recent research on predicting the binding affinity between drug molecules and proteins use representations learned, through unsupervised learning techniques, from large databases of molecule SMILES and protein sequences. While these representations have significantly enhanced the predictions, they a…

2021

Neural Unification for Logic Reasoning over Natural Language

EMNLP 2021finding

Automated Theorem Proving (ATP) deals with the development of computer programs being able to show that some conjectures (queries) are a logical consequence of a set of axioms (facts and rules). There exists several successful ATPs where conjectures and axioms are formally provided (e.g. formalised…