Pictorial biography of the last emperor of China

Veröffentlicht 1987

Mapping two decades of smart home research : a systematic scientometric analysis

von Li, Wenda
Veröffentlicht in Technological forecasting & social change (2022)

Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency

von Li, Wenda
Veröffentlicht in International Conference on Medical Image Computing and Computer Assisted Intervention (25. : 2022 : Singapur; Online) Medical image computing and computer assisted intervention - MICCAI 2022 ; Part 4 (2022)

LIME: LEARNING INDUCTIVE BIAS FOR PRIMITIVES OF MATHEMATICAL REASONING

von WU, YUHUAI
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 14 of 16 (2022)

Autoformalization with Large Language Models

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

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

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