IOHK |
ライブラリー
ライブラリー > Jean-Philippe Bernardy
Jean-Philippe Bernardy
Learning Structure-Aware Representations of Dependent Types
Konstantinos Kogkalidis,Orestis Melkonian,Jean-Philippe Bernardy
December 2024, To appear in: NeurIPS '24
ライブラリー > Jean-Philippe Bernardy
Konstantinos Kogkalidis,Orestis Melkonian,Jean-Philippe Bernardy
December 2024, To appear in: NeurIPS '24