Bernardy, Jean-Philippe

2 publications

NeurIPS 2024 Algebraic Positional Encodings Konstantinos Kogkalidis, Jean-Philippe Bernardy, Vikas Garg

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