Research author

Rajeev Goré

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Rajeev Goré

Jun 30, 2026
cs.LO

Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts

Rajeev Goré, Cormac Kikkert

Rajeev Goré — AI Research Papers | One9Founders