Author of the publication

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.

, , , , , , , , , , , , , , , , and . CoRR, (2024)

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

SCMGR: Using Social Context and Multi-Granularity Relations for Unsupervised Social Summarization., , , , and . CIKM, page 1058-1068. ACM, (2021)Research on UAV Path Planning Based on an Improved Dwarf Mongoose Algorithm with Multi-strategy Fusion., , , , and . ICIC (1), volume 14862 of Lecture Notes in Computer Science, page 348-359. Springer, (2024)Multi-directional broad learning system for the unsupervised stereo matching method., , , , , , , , and . Pattern Recognit., (October 2023)Topic Model on Microblog with Dual-Streams Graph Convolution Networks., , , , and . IJCNN, page 1-8. IEEE, (2022)Classification of Ship Navigation Behavior in Inland Crossing Channels., , , and . SPAC, page 303-307. IEEE, (2021)A Systemic Method of Traffic Flow Velocity Prediction in Narrow Waterways Using AIS Data., , , and . SPAC, page 308-312. IEEE, (2021)Investigating the Effect of Metal Particles and Air Gap Defects on the Surface Charge Distribution of Epoxy Resin Using a Modified Capacitive Probe., , , , , , , , and . IEEE Access, (2024)Exploiting Explicit and Inferred Implicit Personas for Multi-turn Dialogue Generation., , , , , , and . NLPCC (1), volume 13028 of Lecture Notes in Computer Science, page 493-504. Springer, (2021)DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search., , , , , , , , , and 7 other author(s). CoRR, (2024)A Maximum Flow Routing Algorithm for Multi-Unmanned Surface Vessel Networks., , , and . ICCC, page 1-6. IEEE, (2023)