SS24.md

@@ -4,29 +4,29 @@
 | Simon Pfister | "General Game Playing With State-Independent Communication" | | X | |
 | 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 | | X |
 | Gaurav Bhalala | ["Large Language Models and Knowledge Graphs: Opportunities and Challenges"](https://arxiv.org/pdf/2308.06374.pdf) | | X |
-| Malika Tillaeva | Caminati, "Isabelle Formalisation of Original Representation Theorems",  "Evonne: Interactive Proof Visualization for Description Logics (System Description)", Corless et al, "Teaching Linear Algebra in a mechanized mathematical environment",  Jakubuv/Kaliszyk, "VizAR: Visualization of Automated Reasoning Proofs", "Multiple-inheritance hazards in dependently-typed algebraic hierarchies", "Formalisation of Additive Combinatorics in Isabelle/HOL", "Sequent Calculi for Choice Logics",, "A Tableau-Based Automated Theorem Prover Using Concurrency (System Description)" |
-| Priyanka Singh | "Large Language Models as Knowledge Bases?", "Find The Gap: Knowledge Base Reasoning For Visual Question Answering" |
-| David López Caballero | "How Should We Measure Filter Bubbles? A Regression Model and Evidence for Online News" (email) |
-| Md Redwan Hossain | "An Experimental Pipeline for Automated Reasoning in Natural Language," (see Simon Pfister) |
-| Parisa Fathian Boroujeni | "Evonne: Interactive Proof Visualization for Description Logics (System Description)" (see Malika Tillaeva) |
-| Vatsal Bambhania | [DeepOnto: A Python Package for Ontology Engineering with Deep Learning](https://arxiv.org/abs/2307.03067) |
+| Malika Tillaeva | Caminati, "Isabelle Formalisation of Original Representation Theorems" | | X |
+| Priyanka Singh | "Large Language Models as Knowledge Bases?" | | X |
+| David López Caballero | "How Should We Measure Filter Bubbles? A Regression Model and Evidence for Online News" (email) | | X |
+| Md Redwan Hossain | "An Experimental Pipeline for Automated Reasoning in Natural Language" | | X |
+| Parisa Fathian Boroujeni | "Evonne: Interactive Proof Visualization for Description Logics (System Description)" | | X |
+| Vatsal Bambhania | [DeepOnto: A Python Package for Ontology Engineering with Deep Learning](https://arxiv.org/abs/2307.03067) | | X |
 | Shamseldin Elkhatib | something Programming/Computation in ALeA |
 | Ali Kodera | something Programming/Computation in ALeA |
-| Annick Faal | "Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method", Xiaolin Hu, Lingyu Wu, ...|
+| Annick Faal | "Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method" | | X |
 | Hyunsook Kim | WissKI: Semantische Annotation, Wissensverarbeitung und Wissenschaftskommunikation in einer virtuellen Forschungsumgebung | X | X | May 15th |
-| Priyanka Singh | Large Language Models as Knowledge Bases, or Find The Gap: Knowledge Base Reasoning For Visual Question Answering | | |
-| 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 | [Now It Compiles!: Certified Automatic Repair of Uncompilable Protocols](https://www.fabriziomontesi.com/files/cm23-arxiv.pdf) | | |
-| Shokoofeh Kheirdastan | SDSS-DR12 bulk stellar spectral classification: Artificial neural networks approach | |
-| Edoardo Berardi Vittur | [Aligning Artificial Neural Networks and Ontologies towards Explainable AI](https://ojs.aaai.org/index.php/AAAI/article/view/16626)
-| Joanes Irigoien Kortabitarte | [NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis](https://arxiv.org/pdf/2003.08934) |
-| David Meier | Evasiveness Through Binary Decision Diagrams (Jesús Aransay, Laureano Lambán, and Julio Rubio), Highlighting Named Entities in Input for Auto-formulation of Optimization Problems, Neeraj Gangwar and Nickvash Kani |
+| Priyanka Singh | Find The Gap: Knowledge Base Reasoning For Visual Question Answering | | X |
+| Johannes Hoang | “GeoGebra Discovery" / “Automated reasoning tools in GeoGebra Discovery” in “ISSAC 2021 Software Presentations” | | X |
+| Wenwen Wang | "Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT" | | X |
+| Muqaddas Ramzan | [Now It Compiles!: Certified Automatic Repair of Uncompilable Protocols](https://www.fabriziomontesi.com/files/cm23-arxiv.pdf) | | X |
+| Shokoofeh Kheirdastan | SDSS-DR12 bulk stellar spectral classification: Artificial neural networks approach | | No: Application of NNs to a topic, with little substance on the computer science side of things |
+| Edoardo Berardi Vittur | [Aligning Artificial Neural Networks and Ontologies towards Explainable AI](https://ojs.aaai.org/index.php/AAAI/article/view/16626) | | X |
+| Joanes Irigoien Kortabitarte | [NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis](https://arxiv.org/pdf/2003.08934) | | X |
+| David Meier | Evasiveness Through Binary Decision Diagrams (Jesús Aransay, Laureano Lambán, and Julio Rubio) | | X |
 |Yaping Qu | Knowledge Representation Technologies for Narratives, Digital Humanities and Cultural Heritage| X | X | May 15th |
-| Puneetha Dharmapura Shrirama | [Opportunities and Challenges of ChatGPT for Design Knowledge Management](https://www.sciencedirect.com/science/article/pii/S2212827123004274) | 
-| Shubhangi More | [Synergistic Integration of Transfer Learning and Deep Learning for Enhanced Object Detection in Digital Images](https://dblp.org/rec/journals/access/WaheedSRKBS24), [SwarmGen: a framework for automatic generation of semantic services in an IoT network](https://dblp.org/rec/conf/iccel/Calcina%2DCcoriBF20)
-|Bhupali Chakraborty| Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks | | |
-| Ilias Anwari| The Eye in Extended Reality: A Survey on Gaze Interaction and Eye Tracking in Head-worn Extended Reality|||
-| Chatchai Boonman | "Confidences for Commonsense Reasoning" Tammet, T., Draheim, D., Järv, P. (CADE 2021) |
-| Moiz Riaz | [A Proof-Producing Compiler for Blockchain Applications](https://drops.dagstuhl.de/storage/00lipics/lipics-vol268-itp2023/LIPIcs.ITP.2023.7/LIPIcs.ITP.2023.7.pdf) ||
-|Joud Busaileh | Knowledge-Intensive Language Understanding for Explainable AI (Amit Sheth , Manas Gaur, Kaushik Roy) | | | May 15th |
+| Puneetha Dharmapura Shrirama | [Opportunities and Challenges of ChatGPT for Design Knowledge Management](https://www.sciencedirect.com/science/article/pii/S2212827123004274) | | No: Too shallow, only interpretation, no "computer science" |
+| Shubhangi More | [SwarmGen: a framework for automatic generation of semantic services in an IoT network](https://dblp.org/rec/conf/iccel/Calcina%2DCcoriBF20) | | X but: make sure to consider cited papers for background, otherwise too shallow |
+|Bhupali Chakraborty| Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks | | X careful: section 2 needs a lot of background knowledge |
+| Ilias Anwari| The Eye in Extended Reality: A Survey on Gaze Interaction and Eye Tracking in Head-worn Extended Reality | X | X |
+| Chatchai Boonman | "Confidences for Commonsense Reasoning" Tammet, T., Draheim, D., Järv, P. (CADE 2021) | | X |
+| Moiz Riaz | [A Proof-Producing Compiler for Blockchain Applications](https://drops.dagstuhl.de/storage/00lipics/lipics-vol268-itp2023/LIPIcs.ITP.2023.7/LIPIcs.ITP.2023.7.pdf) | | X | 
+|Joud Busaileh | Knowledge-Intensive Language Understanding for Explainable AI (Amit Sheth , Manas Gaur, Kaushik Roy) | | No: This is just a superficial survey without CS content | May 15th |
\ No newline at end of file