Ramon Fernández Mir

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Representing Knowledge

Graph Structures

Optimization Problems

Reasoning Process

Top Venues

Publications

Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
Transforming Optimization Problems into Disciplined Convex Programming Form. CICM (2024)
Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers
Machine-Learned Premise Selection for Lean. TABLEAUX (2023)
Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad
Verified reductions for optimization. CoRR (2023)
Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers
Machine-Learned Premise Selection for Lean. CoRR (2023)
Lauren Nicole Delong, Ramon Fernández Mir, Zonglin Ji, Fiona Niamh Coulter Smith, Jacques D. Fleuriot
Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs. CoRR (2023)
Lauren Nicole Delong, Ramon Fernández Mir, Matthew Whyte, Zonglin Ji, Jacques D. Fleuriot
Neurosymbolic AI for Reasoning on Graph Structures: A Survey. CoRR (2023)
Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad
Verified reductions for optimization. TACAS (2) (2023)
Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir, Scott Morrison
Schemes in Lean. Exp. Math. 31 (2) (2022)