🧑🔬 Wiebke Petersen — papers of 2026 — Elamur Research1 paper · all years of Wiebke PetersenHHU-SyLo at SemEval-2026 Task 11: Logic in the Loop – Hybridizing LLMs and Theorem Provers for Robust Formal ReasoningInternational Workshop on Semantic Evaluation (SemEval)Wiebke Petersen, Cherine Jaziri, Diem Tran2026 · 1 citationThis page in Markdown → https://md.research.elamur.ai/free/en/authors/wiebke-petersen/year/2026/