Radoslav Dimitrov

According to our database, Radoslav Dimitrov authored at least 5 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

What are the Right Symmetries for Formal Theorem Proving?

Krzysztof Olejniczak, Radoslav Dimitrov, Xingyue Huang, Bernardo Cuenca Grau, Jinwoo Kim, Ismail Ilkan Ceylan

CoRR, May, 2026

2023

PlanE: Representation Learning over Planar Graphs.

Radoslav Dimitrov, Zeyang Zhao, Ralph Abboud, Ismail Ilkan Ceylan

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Approximate weighted model integration on DNF structures.

Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov

Artif. Intell., 2022

Shortest Path Networks for Graph Property Prediction.

Ralph Abboud, Radoslav Dimitrov, Ismail Ilkan Ceylan

Proceedings of the Learning on Graphs Conference, 2022

2020

On the Approximability of Weighted Model Integration on DNF Structures.

Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020