Ramon Fern\'andez Mir

Identifiers

• name variant Ramon Fern\'andez Mir 0.60 · backfill

Papers (5)

1. Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs cs.AI · 2023 · author #2
2. Machine-Learned Premise Selection for Lean cs.AI · 2023 · author #2
3. Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey cs.AI · 2023 · author #2
4. Verified reductions for optimization cs.LO · 2023 · author #2
5. Schemes in Lean math.AG · 2021 · author #5

Mentions

• 2302.07200 #2 · arxiv_oai · confidence 0.70 Ramon Fern\'andez Mir
• 2307.08411 #2 · arxiv_oai · confidence 0.70 Ramon Fern\'andez Mir
• 2304.00994 #2 · arxiv_oai · confidence 0.70 Ramon Fern\'andez Mir
• 2301.09347 #2 · arxiv_oai · confidence 0.70 Ramon Fern\'andez Mir
• 2101.02602 #5 · arxiv_oai · confidence 0.70 Ramon Fern\'andez Mir

Frequent Coauthors

• Lauren Nicole DeLong 2 shared papers
• Alexander Bentkamp 1 shared papers
• Amelia Livingston 1 shared papers
• Artificial Intelligence 1 shared papers
• Bartosz Piotrowski 1 shared papers
• Chris Hughes 1 shared papers
• Edward Ayers 1 shared papers
• Fiona Niamh Coulter Smith 1 shared papers
• its Applications Institute) 1 shared papers
• Jacques D. Fleuriot 1 shared papers
• Jacques D. Fleuriot (The University of Edinburgh School of Informatics 1 shared papers
• Jeremy Avigad 1 shared papers
• Kenny Lau 1 shared papers
• Kevin Buzzard 1 shared papers
• Scott Morrison 1 shared papers
• Zonglin Ji 1 shared papers