Veronika Thost

70 papers A* 15A 1B 2Misc 1Journal 29Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Do Sparse Autoencoders Generalize? A Case Study of Answerability. CoRR Lovis Heindrich, Philip Torr, Fazl Barez, Veronika Thost
2025	J	`jnl`	GPTOpt: Towards Efficient LLM-Based Black-Box Optimization. CoRR Jamison Meindl, Yunsheng Tian, Tony Cui, Veronika Thost, Zhang-Wei Hong, Jie Chen, Wojciech Matusik, Mina Konakovic-Lukovic
2025	J	`jnl`	Self-Supervised Learning on Molecular Graphs: A Systematic Investigation of Masking Design. CoRR Jiannan Yang, Veronika Thost, Tengfei Ma
2025	J	`jnl`	Self-Supervised Learning on Molecular Graphs: A Systematic Investigation of Masking Design. Trans. Mach. Learn. Res. Jiannan Yang, Veronika Thost, Tengfei Ma
2025	—	`conf`	Understanding and Tackling Over-Dilution in Graph Neural Networks. KDD (2) Junhyun Lee, Veronika Thost, Bumsoo Kim, Jaewoo Kang, Tengfei Ma
2025	J	`jnl`	Understanding and Tackling Over-Dilution in Graph Neural Networks. CoRR Junhyun Lee, Veronika Thost, Bumsoo Kim, Jaewoo Kang, Tengfei Ma
2025	J	`jnl`	ZeroShotOpt: Towards Zero-Shot Pretrained Models for Efficient Black-Box Optimization. CoRR Jamison Meindl, Yunsheng Tian, Tony Cui, Veronika Thost, Zhang-Wei Hong, Johannes Dürholt, Jie Chen, Wojciech Matusik, Mina Konakovic-Lukovic
2024	—	`conf`	A Graph per Persona: Reasoning about Subjective Natural Language Descriptions. ACL (Findings) Eunjeong Hwang, Vered Shwartz, Dan Gutfreund, Veronika Thost
2024	A*	`conf`	Representing Molecules as Random Walks Over Interpretable Grammars. ICML Michael Sun, Minghao Guo, Weize Yuan, Veronika Thost, Crystal Elaine Owens, Aristotle Franklin Grosz, Sharvaa Selvan, Katelyn Zhou, Hassan Mohiuddin, Benjamin J. Pedretti, Zachary P. Smith, Jie Chen, Wojciech Matusik
2024	J	`jnl`	Representing Molecules as Random Walks Over Interpretable Grammars. CoRR Michael Sun, Minghao Guo, Weize Yuan, Veronika Thost, Crystal Elaine Owens, Aristotle Franklin Grosz, Sharvaa Selvan, Katelyn Zhou, Hassan Mohiuddin, Benjamin J. Pedretti, Zachary P. Smith, Jie Chen, Wojciech Matusik
2024	J	`jnl`	Syntax-Guided Procedural Synthesis of Molecules. CoRR Michael Sun, Alston Lo, Wenhao Gao, Minghao Guo, Veronika Thost, Jie Chen, Connor W. Coley, Wojciech Matusik
2023	A*	`conf`	Hierarchical Grammar-Induced Geometry for Data-Efficient Molecular Property Prediction. ICML Minghao Guo, Veronika Thost, Samuel W. Song, Adithya Balachandran, Payel Das, Jie Chen, Wojciech Matusik
2023	J	`jnl`	Hierarchical Grammar-Induced Geometry for Data-Efficient Molecular Property Prediction. CoRR Minghao Guo, Veronika Thost, Samuel W. Song, Adithya Balachandran, Payel Das, Jie Chen, Wojciech Matusik
2023	A*	`conf`	Improving Self-supervised Molecular Representation Learning using Persistent Homology. NeurIPS Yuankai Luo, Lei Shi, Veronika Thost
2023	J	`jnl`	Improving Self-supervised Molecular Representation Learning using Persistent Homology. CoRR Yuankai Luo, Lei Shi, Veronika Thost
2023	A*	`conf`	Knowledge Graph Compression Enhances Diverse Commonsense Generation. EMNLP Eunjeong Hwang, Veronika Thost, Vered Shwartz, Tengfei Ma
2023	A*	`conf`	Transformers over Directed Acyclic Graphs. NeurIPS Yuankai Luo, Veronika Thost, Lei Shi
2022	A*	`conf`	Data-Efficient Graph Grammar Learning for Molecular Generation. ICLR Minghao Guo, Veronika Thost, Beichen Li, Payel Das, Jie Chen, Wojciech Matusik
2022	J	`jnl`	Data-Efficient Graph Grammar Learning for Molecular Generation. CoRR Minghao Guo, Veronika Thost, Beichen Li, Payel Das, Jie Chen, Wojciech Matusik
2022	A*	`conf`	Improving Inductive Link Prediction Using Hyper-Relational Facts (Extended Abstract). IJCAI Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma, Volker Tresp, Jens Lehmann
2021	A*	`conf`	A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. AAAI Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue
2021	—	`conf`	CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. NeurIPS Datasets and Benchmarks Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Shyam Ramji, Ulrich Finkler, Susan Malaika, Frederick Reiss
2021	A*	`conf`	Directed Acyclic Graph Neural Networks. ICLR Veronika Thost, Jie Chen
2021	J	`jnl`	Directed Acyclic Graph Neural Networks. CoRR Veronika Thost, Jie Chen
2021	J	`jnl`	Improving Inductive Link Prediction Using Hyper-Relational Facts. CoRR Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma, Volker Tresp, Jens Lehmann
2021	Misc	`conf`	Improving Inductive Link Prediction Using Hyper-relational Facts. ISWC Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma, Volker Tresp, Jens Lehmann
2021	J	`jnl`	Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. CoRR Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Ulrich Finkler
2021	J	`jnl`	Relation Matters in Sampling: A Scalable Multi-Relational Graph Neural Network for Drug-Drug Interaction Prediction. CoRR Arthur Feeney, Rishabh Gupta, Veronika Thost, Rico Angell, Gayathri Chandu, Yash Adhikari, Tengfei Ma
2021	J	`jnl`	Software Vulnerability Detection via Deep Learning over Disaggregated Code Graph Representation. CoRR Yufan Zhuang, Sahil Suneja, Veronika Thost, Giacomo Domeniconi, Alessandro Morari, Jim Laredo
2021	B	`conf`	Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning. ILP Cristina Cornelio, Veronika Thost
2020	J	`jnl`	An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic. CoRR Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue
2020	J	`jnl`	Exploring Software Naturalness through Neural Language Models. CoRR Luca Buratti, Saurabh Pujar, Mihaela A. Bornea, J. Scott McCarley, Yunhui Zheng, Gaetano Rossiello, Alessandro Morari, Jim Laredo, Veronika Thost, Yufan Zhuang, Giacomo Domeniconi
2020	A*	`conf`	Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks. AAAI Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, R. Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue
2020	J	`jnl`	Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2020	J	`jnl`	Semantic Technologies for Situation Awareness. Künstliche Intell. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
2020	J	`jnl`	Temporal Conjunctive Query Answering in the Extended DL-Lite Family. CoRR Stefan Borgwardt, Veronika Thost
2019	J	`jnl`	A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. CoRR Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue
2019	J	`jnl`	Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. CoRR Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue
2019	J	`jnl`	Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks. CoRR Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, R. Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue
2019	—	`conf`	Links with Answers: Query Answering for Customer Support. ISWC (Satellites) Veronika Thost, Achille Fokoue, Vittorio Castelli, Salim Roukos
2019	B	`conf`	QED: Out-of-the-Box Datasets for SPARQL Query Evaluation. ESWC Veronika Thost, Julian Dolby
2019	J	`jnl`	RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools. CoRR Cristina Cornelio, Veronika Thost
2018	A*	`conf`	Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2018	A*	`conf`	Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. KR Veronika Thost
2018	J	`jnl`	Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. CoRR Veronika Thost
2018	—	`conf`	QED: Out-of-the-box Datasets for SPARQL Query Evaluation. ISWC (P&D/Industry/BlueSky) Veronika Thost, Julian Dolby
2018	J	`jnl`	Query Answering for Rough EL Ontologies (Extended Technical Report). CoRR Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2018	A*	`conf`	Query Answering for Rough EL Ontologies. KR Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2017	—	`conf`	Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2017	A*	`conf`	Logic on MARS: Ontologies for Generalised Property Graphs. IJCAI Maximilian Marx, Markus Krötzsch, Veronika Thost
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names. FroCoS Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`conf`	News on Temporal Conjunctive Queries. WSP/WOMoCoE@ISWC Veronika Thost
2017	—	`conf`	Reasoning with Attributed Description Logics. Description Logics Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2017	J	`jnl`	Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information. Künstliche Intell. Veronika Thost
2017	—	`—`	Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information. Veronika Thost
2016	—	`conf`	Ontologies for Knowledge Graphs: Breaking the Rules. ISWC (1) Markus Krötzsch, Veronika Thost
2015	—	`conf`	On Implementing Temporal Query Answering in DL-Lite (extended abstract). Description Logics Veronika Thost, Jan Holste, Özgür L. Özçep
2015	—	`conf`	Temporal Query Answering in DL-Lite with Negation. GCAI Stefan Borgwardt, Veronika Thost
2015	—	`conf`	Temporal Query Answering in EL. Description Logics Stefan Borgwardt, Veronika Thost
2015	—	`conf`	Temporal Query Answering in a Fuzzy World. SEMANTiCS (Posters & Demos) Veronika Thost, Erik Zenker
2015	A*	`conf`	Temporal Query Answering in the Description Logic EL. IJCAI Stefan Borgwardt, Veronika Thost
2015	J	`jnl`	Temporalizing rewritable query languages over knowledge bases. J. Web Semant. Stefan Borgwardt, Marcel Lippmann, Veronika Thost
2014	—	`conf`	Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling. ARM@Middleware Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
2014	—	`conf`	Certain Answers in a Rough World. Description Logics Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2013	—	`conf`	OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. OWLED Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
2013	A	`conf`	Query matching for report recommendation. CIKM Veronika Thost, Konrad Voigt, Daniel Schuster
2013	—	`conf`	Situation recognition for service management systems using OWL 2 reasoners. PerCom Workshops Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan
2013	—	`conf`	Temporal Query Answering in DL-Lite. Description Logics Stefan Borgwardt, Marcel Lippmann, Veronika Thost
2013	—	`conf`	Temporal Query Answering in the Description Logic DL-Lite. FroCos Stefan Borgwardt, Marcel Lippmann, Veronika Thost