E-LIB Suche - Ergebnisse für: Zheng, Chuanyang

1

Characteristics and Discrimination of the Commercial Chines..:

Hu, Yong ; Zheng, Chuanyang ; Chen, Haiyin...
Foods. 12 (2023) 9 - p. 1865 , 2023

Link: https://doi.org/10.3390/..

2

Planktonic carbon metabolism of an underwater coral atoll i..:

Xiang, Chenhui ; Zhong, Yu ; Li, Gang...
Frontiers in Marine Science. 10 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

3

Plankton Metabolism in Coastal Waters of the Guangdong-Hong..:

Zhang, Liangkui ; Li, Gang ; Xiang, Chenhui...
Frontiers in Marine Science. 9 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

4

Nonnegative Residual Matrix Factorization for Community Det..:

, In: Web Information Systems Engineering – WISE 2020; Lecture Notes in Computer Science,

Pei, Yulong ; Liu, Cong ; Zheng, Chuanyang. - p. 196-209 , 2020

Link: https://doi.org/10.1007/..

5

Adaptive Person-Specific Appearance-Based Gaze Estimation:

, In: Communications in Computer and Information Science; Digital TV and Wireless Multimedia Communication,

Zheng, Chuanyang ; Zhou, Jun ; Sun, Jun. - p. 126-139 , 2020

Link: https://doi.org/10.1007/..

6

Group Key Agreement Protocol Based on Privacy Protection an..:

Qikun, Zhang ; Yongjiao, Li ; Yong, Gan...
IEEE Access. 7 (2019) - p. 87085-87096 , 2019

Link: https://doi.org/10.1109/..

7

Progressive-Hint Prompting Improves Reasoning in Large Lang..:

Zheng, Chuanyang ; Liu, Zhengying ; Xie, Enze..
http://arxiv.org/abs/2304.09797. , 2023

Link: http://arxiv.org/abs/230..

8

Lyra: Orchestrating Dual Correction in Automated Theorem Pr..:

Zheng, Chuanyang ; Wang, Haiming ; Xie, Enze...
http://arxiv.org/abs/2309.15806. , 2023

Link: http://arxiv.org/abs/230..

9

A Survey of Reasoning with Foundation Models:

Sun, Jiankai ; Zheng, Chuanyang ; Xie, Enze...
http://arxiv.org/abs/2312.11562. , 2023

Link: http://arxiv.org/abs/231..

10

LEGO-Prover: Neural Theorem Proving with Growing Libraries:

Wang, Haiming ; Xin, Huajian ; Zheng, Chuanyang...
http://arxiv.org/abs/2310.00656. , 2023

Link: http://arxiv.org/abs/231..

11

DQ-LoRe: Dual Queries with Low Rank Approximation Re-rankin..:

Xiong, Jing ; Li, Zixuan ; Zheng, Chuanyang...
http://arxiv.org/abs/2310.02954. , 2023

Link: http://arxiv.org/abs/231..

12

Aria-NeRF: Multimodal Egocentric View Synthesis:

Sun, Jiankai ; Qiu, Jianing ; Zheng, Chuanyang...
http://arxiv.org/abs/2311.06455. , 2023

Link: http://arxiv.org/abs/231..

13

TRIGO: Benchmarking Formal Mathematical Proof Reduction for..:

Xiong, Jing ; Shen, Jianhao ; Yuan, Ye...
http://arxiv.org/abs/2310.10180. , 2023

Link: http://arxiv.org/abs/231..

14

FIMO: A Challenge Formal Dataset for Automated Theorem Prov..:

Liu, Chengwu ; Shen, Jianhao ; Xin, Huajian...
http://arxiv.org/abs/2309.04295. , 2023

Link: http://arxiv.org/abs/230..

15

Group Key Agreement Protocol Based on Privacy Protection an..:

Zhang Qikun ; Li Yongjiao ; Gan Yong...
https://ieeexplore.ieee.org/document/8753618/. , 2019

Link: https://doi.org/10.1109/..