1 citations · 2 across the 3 of their papers we have counts for
5 papers
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…
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…
MESOB: Balancing Equilibria & Social Optimality
Xin Guo, Lihong Li, Sareh Nabi +2
Motivated by bid recommendation in online ad auctions, this paper considers a general class of multi-level and multi-agent games, with two major characteristics: one is a large num…
Advancing Ad Auction Realism: Practical Insights & Modeling Implications
Ming Chen, Sareh Nabi, Marciano Siniscalchi
Contemporary real-world online ad auctions differ from canonical models [Edelman et al., 2007; Varian, 2009] in at least four ways: (1) values and click-through rates can depend up…
Bayesian Meta-Prior Learning Using Empirical Bayes
Sareh Nabi, Houssam Nassif, Joseph Hong +2
Adding domain knowledge to a learning system is known to improve results. In multi-parameter Bayesian frameworks, such knowledge is incorporated as a prior. On the other hand, vari…