AI.info

Job Petrovčič

Explore Job Petrovčič on AI.info.

• Combining Textual and Structural Information for Premise Selection in Lean