Measuring the willingness-to-pay of air-rail intermodal passengers

von Chiambaretto, Paul
Veröffentlicht in Journal of air transport management (2013)

HyperTree Proof Search for Neural Theorem Proving

von Lample, Guillaume
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 34 of 50 (2023)