activity
20212026
most citedOtter-Knowledge: benchmarks of multimodal knowledge graph representation learning from different sources for drug discovery

2 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2021

Neural Unification for Logic Reasoning over Natural Language

Gabriele Picco, Hoang Thanh Lam, Marco Luca Sbodio +1

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 (fac…