From post

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.

 

Другие публикации лиц с тем же именем

OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving, , , , , и . Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, 3, стр. 1078--1083. (2007)LtrGCN: Large-Scale Graph Convolutional Networks-Based Learning to Rank for Web Search., , , , , , , и . ECML/PKDD (6), том 14174 из Lecture Notes in Computer Science, стр. 635-651. Springer, (2023)Geometry Contrastive Learning on Heterogeneous Graphs., , , , , , и . CoRR, (2022)A Cooperative Coevolution Framework for Parallel Learning to Rank., , , , , и . IEEE Trans. Knowl. Data Eng., 27 (12): 3152-3165 (2015)Pre-trained Language Model for Web-scale Retrieval in Baidu Search., , , , , , , , , и . CoRR, (2021)Pre-trained Language Model for Web-scale Retrieval in Baidu Search., , , , , , и . KDD, стр. 3365-3375. ACM, (2021)Learning to Detect Web Spam by Genetic Programming., , , , и . WAIM, том 6184 из Lecture Notes in Computer Science, стр. 18-27. Springer, (2010)Listwise Collaborative Filtering., , , , , и . SIGIR, стр. 343-352. ACM, (2015)Exploring Memorization in Fine-tuned Language Models., , , , , , , , , и . CoRR, (2023)Improving image annotation via ranking-oriented neighbor search and learning-based keyword propagation., , , , и . J. Assoc. Inf. Sci. Technol., 66 (1): 82-98 (2015)