• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 41 matches

• 2024
• 
  Zhengyi Yuan, Cao Shi:
  MGN-Net: Multigranularity Graph Fusion Network in Multimodal for Scene Text Spotting. IEEE Internet Things J. 11(14): 25088-25098 (2024)
• 
  Yanyao Du, Jiaqi Zhang, Dan Cao, Wenhan Yang, Jin Li, Deying Li, Ming Song, Zhengyi Yang, Jun Zhang, Tianzi Jiang, Jun Liu:
  Neuro-immune communication at the core of craving-associated brain structural network reconfiguration in methamphetamine users. NeuroImage 301: 120883 (2024)
• 
  Tianming Zhang, Xinwei Cai, Lu Chen, Zhengyi Yang, Yunjun Gao, Bin Cao, Jing Fan:
  Towards efficient simulation-based constrained temporal graph pattern matching. World Wide Web (WWW) 27(3): 22 (2024)
• 
  Zhengyi Luo, Jinkun Cao, Rawal Khirodkar, Alexander Winkler, Jing Huang, Kris Kitani, Weipeng Xu:
  Real-Time Simulated Avatar from Head-Mounted Sensors. CVPR 2024: 571-581
• 
  Zhengyi Luo, Jinkun Cao, Josh Merel, Alexander Winkler, Jing Huang, Kris M. Kitani, Weipeng Xu:
  Universal Humanoid Motion Representations for Physics-Based Control. ICLR 2024
• 
  Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang:
  MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. ICLR 2024
• 
  Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang:
  LEGO-Prover: Neural Theorem Proving with Growing Libraries. ICLR 2024
• 
  Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang:
  ATG: Benchmarking Automated Theorem Generation for Generative Language Models. NAACL-HLT (Findings) 2024: 4465-4480
• 
  Yu Xie, Canhui Xu, Cao Shi, Jialiang Li, Zhengyi Yuan, Qian Qiao:
  DeepTTS: Enhanced Transformer-Based Text Spotter via Deep Interaction Between Detection and Recognition Tasks. PRICAI (2) 2024: 450-462
• 
  Tianming Zhang, Junkai Fang, Zhengyi Yang, Bin Cao, Jing Fan:
  TATKC: A Temporal Graph Neural Network for Fast Approximate Temporal Katz Centrality Ranking. WWW 2024: 527-538
• 
  Tianming Zhang, Yunjun Gao, Jie Zhao, Lu Chen, Lu Jin, Zhengyi Yang, Bin Cao, Jing Fan:
  Efficient Exact and Approximate Betweenness Centrality Computation for Temporal Graphs. WWW 2024: 2395-2406
• 
  Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang:
  MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. CoRR abs/2402.08957 (2024)
• 
  Zhengyi Luo, Jinkun Cao, Rawal Khirodkar, Alexander Winkler, Kris Kitani, Weipeng Xu:
  Real-Time Simulated Avatar from Head-Mounted Sensors. CoRR abs/2403.06862 (2024)
• 
  Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang:
  ATG: Benchmarking Automated Theorem Generation for Generative Language Models. CoRR abs/2405.06677 (2024)
• 
  Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang:
  FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. CoRR abs/2406.14408 (2024)
• 
  Zhengyi Luo, Jiashun Wang, Kangni Liu, Haotian Zhang, Chen Tessler, Jingbo Wang, Ye Yuan, Jinkun Cao, Zihui Lin, Fengyi Wang, Jessica K. Hodgins, Kris Kitani:
  SMPLOlympics: Sports Environments for Physically Simulated Humanoids. CoRR abs/2407.00187 (2024)
• 
  Zhengyi Luo, Jinkun Cao, Sammy Christen, Alexander Winkler, Kris Kitani, Weipeng Xu:
  Grasping Diverse Objects with Simulated Humanoids. CoRR abs/2407.11385 (2024)
• 
  Rawal Khirodkar, Jyun-Ting Song, Jinkun Cao, Zhengyi Luo, Kris Kitani:
  Harmony4D: A Video Dataset for In-The-Wild Close Human Interactions. CoRR abs/2410.20294 (2024)
• 2023
• 
  Shuhan Qi, Zhengying Cao, Jun Rao, Lei Wang, Jing Xiao, Xuan Wang:
  What is the limitation of multimodal LLMs? A deeper look into multimodal LLMs through prompt probing. Inf. Process. Manag. 60(6): 103510 (2023)
• 
  Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu:
  TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. EMNLP 2023: 11594-11632
• 
  Zhengyi Luo, Jinkun Cao, Alexander Winkler, Kris Kitani, Weipeng Xu:
  Perpetual Humanoid Control for Real-time Simulated Avatars. ICCV 2023: 10861-10870
• 
  Hoang-Giang Cao, I Lee, Bo-Jiun Hsu, Zheng-Yi Lee, Yu-Wei Shih, Hsueh-Cheng Wang, I-Chen Wu:
  Image-based Regularization for Action Smoothness in Autonomous Miniature Racing Car with Deep Reinforcement Learning. IROS 2023: 5179-5186
• 
  Linbo Wang, Jing Wu, Xianyong Fang, Zhengyi Liu, Chenjie Cao, Yanwei Fu:
  Local Consensus Enhanced Siamese Network with Reciprocal Loss for Two-view Correspondence Learning. ACM Multimedia 2023: 5235-5243
• 
  Zhengyi Luo, Jinkun Cao, Alexander Winkler, Kris Kitani, Weipeng Xu:
  Perpetual Humanoid Control for Real-time Simulated Avatars. CoRR abs/2305.06456 (2023)
• 
  Hoang-Giang Cao, I Lee, Bo-Jiun Hsu, Zheng-Yi Lee, Yu-Wei Shih, Hsueh-Cheng Wang, I-Chen Wu:
  Image-based Regularization for Action Smoothness in Autonomous Miniature Racing Car with Deep Reinforcement Learning. CoRR abs/2307.08230 (2023)
• 
  Linbo Wang, Jing Wu, Xianyong Fang, Zhengyi Liu, Chenjie Cao, Yanwei Fu:
  Local Consensus Enhanced Siamese Network with Reciprocal Loss for Two-view Correspondence Learning. CoRR abs/2308.03217 (2023)
• 
  Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang:
  LEGO-Prover: Neural Theorem Proving with Growing Libraries. CoRR abs/2310.00656 (2023)
• 
  Zhengyi Luo, Jinkun Cao, Josh Merel, Alexander Winkler, Jing Huang, Kris Kitani, Weipeng Xu:
  Universal Humanoid Motion Representations for Physics-Based Control. CoRR abs/2310.04582 (2023)
• 
  Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu:
  TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. CoRR abs/2310.10180 (2023)
• 2022
• 
  Xinping Ding, Fenglian Wang, Mingzhu Zhou, Yichang Cao, Zhengyi Wei:
  Soft Switching High Voltage Gain Quasi-Z-Source DC-DC Converter With Switched-Capacitor Technique. IEEE Trans. Ind. Electron. 69(11): 11231-11241 (2022)

skipping 11 more matches