Search Results for author: Yihe Tang

Found 4 papers, 2 papers with code

BEHAVIOR Vision Suite: Customizable Dataset Generation via Simulation

no code implementations15 May 2024 Yunhao Ge, Yihe Tang, Jiashu Xu, Cem Gokmen, Chengshu Li, Wensi Ai, Benjamin Jose Martinez, Arman Aydin, Mona Anvari, Ayush K Chakravarthy, Hong-Xing Yu, Josiah Wong, Sanjana Srivastava, Sharon Lee, Shengxin Zha, Laurent Itti, Yunzhu Li, Roberto Martín-Martín, Miao Liu, Pengchuan Zhang, Ruohan Zhang, Li Fei-Fei, Jiajun Wu

We introduce the BEHAVIOR Vision Suite (BVS), a set of tools and assets to generate fully customized synthetic data for systematic evaluation of computer vision models, based on the newly developed embodied AI benchmark, BEHAVIOR-1K.

Scene Understanding

Premise Selection for Theorem Proving by Deep Graph Embedding

1 code implementation NeurIPS 2017 Mingzhe Wang, Yihe Tang, Jian Wang, Jia Deng

We propose a deep learning-based approach to the problem of premise selection: selecting mathematical statements relevant for proving a given conjecture.

Automated Theorem Proving General Classification +1

Cannot find the paper you are looking for? You can Submit a new open access paper.