Rajeev Goré

Monash University

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Reasoning & Chain-of-Thought (1)

Frequent co-authors

Cormac Kikkert (1)

Papers (1)

Jun 30, 2026

1w ago

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

KSP-enhanced CEGAR-tableaux outperforms traditional methods, especially on large satisfiable problems, marking a breakthrough in modal satisfiability techniques.

Rajeev Goré, Cormac Kikkert

Reasoning & Chain-of-Thought

Search

Rajeev Goré

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)