🔗 Who cites «HHU-SyLo at SemEval-2026 Task 11: Logic in the Loop – Hybridizing LLMs and Theorem Provers for Robust Formal Reasoning»

1 paper of our library cites it (of the 149,439 whose bibliographies we read) · 1 with a page here, the most cited first · ← back to «HHU-SyLo at SemEval-2026 Task 11: Logic in the Loop – Hybridizing LLMs and Theorem Provers for Robust Formal Reasoning»

1. SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language ModelsInternational Workshop on Semantic Evaluation (SemEval)Marco Valentino, Leonardo Ranaldi, Giulia Pucci, et al.2026 · 22 citations

This page in Markdown → https://md.research.elamur.ai/free/en/papers/petersen-2026-hhu-sylo-semeval-2026-task/cited-by/