|
|
|
| student | papers | DHSS | paper approved |
|
|
|
|
| ------ | ------ | ------ | ------ |
|
|
|
|
| Tolga Keskinoglu | Something with Hardware verification: https://ieeexplore.ieee.org/abstract/document/9107564 (probably too difficult/dense), maybe: https://ieeexplore.ieee.org/abstract/document/9707932 |
|
|
|
|
| student | papers | DHSS | paper approved | date |
|
|
|
|
| ------ | ------ | ------ | ------ | ----- |
|
|
|
|
| Tolga Keskinoglu | https://ieeexplore.ieee.org/abstract/document/9707932 | | X | May 29th ? |
|
|
|
|
| Simon Pfister | "General Game Playing With State-Independent Communication", "An Experimental Pipeline for Automated Reasoning in Natural Language" (pdfs in chat) |
|
|
|
|
| Edoardo Berardi Vittur | ["Tackling Long-Tailed Distribution Issue in Graph Neural Networks via Normalization"](https://ieeexplore.ieee.org/document/10251551) |
|
|
|
|
| Muhammad Naeem Ur Rehman | Information Retrieval meets LLMs, e.g. https://www.sciencedirect.com/science/article/pii/S2666651023000049, https://arxiv.org/pdf/2308.07107.pdf, https://arxiv.org/pdf/2403.00801.pdf |
|
| ... | ... | @@ -16,4 +16,7 @@ |
|
|
|
| Annick Faal | "Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method", Xiaolin Hu, Lingyu Wu, ...|
|
|
|
|
| Hyunsook Kim | WissKI: Semantische Annotation, Wissensverarbeitung und Wissenschaftskommunikation in einer virtuellen Forschungsumgebung | X | X |
|
|
|
|
| Priyanka Singh | Large Language Models as Knowledge Bases, or Find The Gap: Knowledge Base Reasoning For Visual Question Answering | | |
|
|
|
|
| Adrian Schneider | Knowledge Graph Representation for Political Information Sources, or Relational Learning Analysis of Social Politics using Knowledge Graph Embedding | X | X| |
|
|
\ No newline at end of file |
|
|
|
| Adrian Schneider | Knowledge Graph Representation for Political Information Sources, or Relational Learning Analysis of Social Politics using Knowledge Graph Embedding | X | X|
|
|
|
|
| Johannes Hoang | “GeoGebra Discovery" / “Automated reasoning tools in GeoGebra Discovery” in “ISSAC 2021 Software Presentations” | | |
|
|
|
|
| Wenwen Wang | "Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT", Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler | | |
|
|
|
|
| Muqaddas Ramzan | "Iscalc: An Interactive Symbolic Computation Framework" Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu | | | |
