AI.info

Ljupčo Todorovski

Explore Ljupčo Todorovski on AI.info.

• Combining Textual and Structural Information for Premise Selection in Lean