J\'onathan Heras (School of Computing

Identifiers

• name variant J\'onathan Heras (School of Computing 0.60 · backfill

Papers (2)

1. ACL2(ml): Machine-Learning for ACL2 cs.LO · 2014 · author #1
2. Machine Learning in Proof General: Interfacing Interfaces cs.AI · 2012 · author #3

Mentions

• 1404.3034 #1 · backfill · confidence 0.70 J\'onathan Heras (School of Computing
• 1212.3618 #3 · backfill · confidence 0.70 J\'onathan Heras (School of Computing

Frequent Coauthors

• Ekaterina Komendantskaya (School of Computing 2 shared papers
• Computer Sciences 1 shared papers
• Gudmund Grov (School of Mathematical 1 shared papers
• Heriot-Watt University) 1 shared papers
• UK) 1 shared papers
• University of Dundee 1 shared papers
• University of Dundee) 1 shared papers