Ramon Fernández Mir

Orcid: 0000-0001-7242-5532

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Transforming Optimization Problems into Disciplined Convex Programming Form.
Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2023
Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs.
CoRR, 2023

Neurosymbolic AI for Reasoning on Graph Structures: A Survey.
CoRR, 2023

Verified reductions for optimization.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Machine-Learned Premise Selection for Lean.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022
Schemes in Lean.
Exp. Math., 2022


  Loading...