1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.AI2026
When Does Structured Knowledge Help Neural Theorem Proving?
Sareh Nabi, Roland Vogl, Marzieh Nabi
Does structured mathematical knowledge help LLMs prove theorems in Lean 4? If so, for which models, and does the answer vary by problem? Formal libraries such as Mathlib encode 285…
cs.CY2025★ 1 cited
Towards Robust Legal Reasoning: Harnessing Logical LLMs in Law
Manuj Kant, Sareh Nabi, Manav Kant +3
Legal services rely heavily on text processing. While large language models (LLMs) show promise, their application in legal contexts demands higher accuracy, repeatability, and tra…
cs.AI2024
Equitable Access to Justice: Logical LLMs Show Promise
Manuj Kant, Manav Kant, Marzieh Nabi +2
The costs and complexity of the American judicial system limit access to legal solutions for many Americans. Large language models (LLMs) hold great potential to improve access to…