54 citations · 172 across the 15 of their papers we have counts for
3 papers · 1 filter
Exploring Software Naturalness through Neural Language Models
Luca Buratti, Saurabh Pujar, Mihaela Bornea +8
The Software Naturalness hypothesis argues that programming languages can be understood through the same techniques used in natural language processing. We explore this hypothesis…
Temporal Conjunctive Query Answering in the Extended DL-Lite Family
Stefan Borgwardt, Veronika Thost
Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to…
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse +1
Automated theorem proving in first-order logic is an active research area which is successfully supported by machine learning. While there have been various proposals for encoding…