Radoslav Dimitrov

Identifiers

• name variant Radoslav Dimitrov 0.60 · backfill

Papers (1)

1. What are the Right Symmetries for Formal Theorem Proving? cs.LG · 2026 · author #2

Mentions

• 2605.22257 #2 · arxiv_oai · confidence 0.70 Radoslav Dimitrov

Frequent Coauthors

• Bernardo Cuenca Grau 1 shared papers
• \.Ismail \.Ilkan Ceylan 1 shared papers
• Jinwoo Kim 1 shared papers
• Krzysztof Olejniczak 1 shared papers
• Xingyue Huang 1 shared papers