3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.CL2026
FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction
Adewale Akinfaderin, Nafi Diallo
We present FregeLogic, a hybrid neuro-symbolic system for SemEval-2026 Task 11 (Subtask 1), which addresses syllogistic validity prediction while reducing content effects on predic…
cs.LO2016★ 1 cited
Program Derivation by Correctness Enhacements
Nafi Diallo, Wided Ghardallou, Jules Desharnais +1
Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness,…
cs.SE2016★ 3 cited
Program Repair by Stepwise Correctness Enhancement
Nafi Diallo, Wided Ghardallou, Ali Mili
Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctnes…