Author

Saadia Gabriel

h-index 13 View on Semantic Scholar

We have 3 of 35 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification

AI systems now write long and difficult mathematical proofs, and checking their step-by-step validity is becoming a bottleneck. A learned verifier could check proofs cheaply, but training one requires a correctness label on every step, and such labels are hard to obtain for open-ended proofs. Existing methods take them...

Rodney Lafuente-Mercado, Salman Rahman, Jing-Yan Shen et al. · 0 citations

#machine learning Preprint Sep 2026

Locating Hidden Failures Makes Long-Horizon Agents More Reliable

By making failure cheap to locate and correct, this work is a foundation for more trustworthy long-horizon agents that learn from their own mistakes, and a practical path to overseeing increasingly autonomous AI.

Salman Rahman, Y. Kim, Mihir Parmar et al. · 2 citations

#artificial intelligence Preprint Sep 2026

NormViz: A Benchmark and Framework for Grounding Multimodal Reasoning in Global Cultures

Though absolute performance remains low, finetuning on NormViz-Train improves pair accuracy relatively by up to 125% and 36% Qwen3-VL 4B and 8B respectively, showing a path forward to teach models to connect visual perception to cultural significance.

Akhila Yerukola, Fabrice Y. Harel-Canada, Simran Khanuja et al. · 0 citations