Ramon Fernández Mir

According to our database, Ramon Fernández Mir authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Transforming Optimization Problems into Disciplined Convex Programming Form.

Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2023

Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs.

Lauren Nicole Delong, Ramon Fernández Mir, Zonglin Ji, Fiona Niamh Coulter Smith, Jacques D. Fleuriot

CoRR, 2023

Neurosymbolic AI for Reasoning on Graph Structures: A Survey.

Lauren Nicole Delong, Ramon Fernández Mir, Matthew Whyte, Zonglin Ji, Jacques D. Fleuriot

CoRR, 2023

Verified reductions for optimization.

Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Machine-Learned Premise Selection for Lean.

Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

Schemes in Lean.

Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir, Scott Morrison

Exp. Math., 2022