Author

Cherine Jaziri

Institution: Heinrich Heine University Düsseldorf

Observed institution: Heinrich Heine University Düsseldorf

OpenAlex ID: A5139844819

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

2026 · Wiebke Petersen, Cherine Jaziri, et al. · International Workshop on Semantic Evaluation (SemEval)

Works count: 1

Citation count:

H-index:

I10-index: