Authors Search About

Melkonian, Orestis

1 publications

NeurIPS 2024 Learning Structure-Aware Representations of Dependent Types Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy