Nicholas Smallbone

Identifiers

• name variant Nicholas Smallbone 0.60 · backfill

Papers (3)

1. Lemmanaid: Neuro-Symbolic Lemma Conjecturing cs.AI · 2025 · author #7
2. Encoding Monomorphic and Polymorphic Types cs.LO · 2016 · author #4
3. Hipster: Integrating Theory Exploration in a Proof Assistant cs.LO · 2014 · author #3

Mentions

• 2504.04942 #7 · arxiv_oai · confidence 0.70 Nicholas Smallbone
• 1405.3426 #3 · backfill · confidence 0.70 Nicholas Smallbone

Frequent Coauthors

• Moa Johansson 2 shared papers
• Andrei Popescu 1 shared papers
• Dan Rosen 1 shared papers
• Emily First 1 shared papers
• George Granberry 1 shared papers
• Jasmin Christian Blanchette 1 shared papers
• Koen Claessen 1 shared papers
• Sascha B\"ohme 1 shared papers
• S\'olr\'un Halla Einarsd\'ottir 1 shared papers
• Sorin Lerner 1 shared papers
• Yousef Alhessi 1 shared papers