Ramon Fernández Mir

202020212022202320241 3 5 17 16

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Kevin BuzzardProfessor of pure mathematics, Imperial College LondonVerified email at imperial.ac.uk
Lauren Nicole DeLongPhD Candidate, University of Edinburgh School of InformaticsVerified email at sms.ed.ac.uk
Bartosz PiotrowskiUniversity of Warsaw, Czech Technical UniversityVerified email at post.pl
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Alexander BentkampHeinrich-Heine-Universität DüsseldorfVerified email at hhu.de

Ramon Fernández Mir

Verified email at ed.ac.uk - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Schemes in Lean K Buzzard, C Hughes, K Lau, A Livingston, R Fernández Mir, S Morrison Journal of Experimental Mathematics 31 (2), pp.355-363, 2022	22	2022
Machine-learned premise selection for Lean B Piotrowski, R Fernández Mir, E Ayers International Conference on Automated Reasoning with Analytic Tableaux and …, 2023	8	2023
Neurosymbolic AI for reasoning over knowledge graphs: a survey LN DeLong, R Fernández Mir, JD Fleuriot arXiv preprint arXiv:2302.07200, 2023	8*	2023
Verified reductions for optimization A Bentkamp, R Fernández Mir, J Avigad International Conference on Tools and Algorithms for the Construction and …, 2023	3	2023
Neurosymbolic AI for reasoning on biomedical knowledge graphs LN DeLong, R Fernández Mir, Z Ji, FNC Smith, JD Fleuriot Workshop on Knowledge and Logical Reasoning in the Era of Data-driven …, 2023	1	2023
Schemes in Lean R Fernández Mir MEng thesis, Imperial College London, 2019	1*	2019

The system can't perform the operation now. Try again later.

Articles 1–6

Citations per year