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