SS24.md

@@ -8,3 +8,4 @@
 | Malika Tillaeva | Corless et al, "Teaching Linear Algebra in a mechanized mathematical environment", Caminati, "Isabelle Formalisation of Original Representation Theorems", 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", "Evonne: Interactive Proof Visualization for Description Logics (System Description)", "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) |
\ No newline at end of file