Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A permission-combination scalable access control model for Internet of things., , , , , and . Trans. Emerg. Telecommun. Technol., (2022)Progressive-Hint Prompting Improves Reasoning in Large Language Models., , , , and . CoRR, (2023)Adaptive Person-Specific Appearance-Based Gaze Estimation., , , and . IFTC, volume 1181 of Communications in Computer and Information Science, page 126-139. Springer, (2019)TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models., , , , , , , , , and 4 other author(s). EMNLP, page 11594-11632. Association for Computational Linguistics, (2023)Group Key Agreement Protocol Based on Privacy Protection and Attribute Authentication., , , , , and . IEEE Access, (2019)A Survey of Reasoning with Foundation Models., , , , , , , , , and 24 other author(s). CoRR, (2023)FIMO: A Challenge Formal Dataset for Automated Theorem Proving., , , , , , , , , and 2 other author(s). CoRR, (2023)DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning., , , , , , , , , and 3 other author(s). CoRR, (2023)SAViT: Structure-Aware Vision Transformer Pruning via Collaborative Optimization., , , , , , , and . NeurIPS, (2022)Lyra: Orchestrating Dual Correction in Automated Theorem Proving., , , , , , , , and . CoRR, (2023)