Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Veronika Thost
Researcher
PaperDirected Acyclic Graph Neural NetworksAuthorship / preprint / 2021PaperData-Efficient Graph Grammar Learning for Molecular GenerationAuthorship / preprint / 2022PaperTemporal Conjunctive Query Answering in the Extended DL-Lite FamilyAuthorship / preprint / 2020PaperAn Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order LogicAuthorship / preprint / 2020PaperRuDaS: Synthetic Datasets for Rule Learning and Evaluation ToolsAuthorship / preprint / 2020PaperImproving Graph Neural Network Representations of Logical Formulae with Subgraph PoolingAuthorship / preprint / 2020PaperA Deep Reinforcement Learning Approach to First-Order Logic Theorem ProvingAuthorship / preprint / 2020PaperExploring Software Naturalness through Neural Language ModelsAuthorship / preprint / 2020