🧑🔬 Ramana Kumar — papers of 2018 — 1 paper, the most cited first1 paper · all years of Ramana KumarTacticToe: Learning to Prove with TacticsJournal of Automated ReasoningThibault Gauthier, Cezary Kaliszyk, Josef Urban, et al.2018 · 57 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/ramana-kumar/year/2018/