8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.AI2026
BigFinanceBench: A Workflow-Grounded Benchmark for Financial-Research Agents
Alex Wang, Georg Meinhardt, Jacob Katz +4
Financial-research answers are decision-relevant only when another analyst can audit how they were produced: which source was chosen, which period and accounting definition were us…
cs.LO2007★ 8 cited
Space-Efficient Bounded Model Checking
Jacob Katz, Ziyad Hanna, Nachum Dershowitz
Current algorithms for bounded model checking use SAT methods for checking satisfiability of Boolean formulae. These methods suffer from the potential memory explosion problem. Met…