Results 51 to 60 of about 10,528 (144)

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

We introduce DeepSeek-Prover-V1.5, an open-source language model designed for theorem proving in Lean 4, which enhances DeepSeek-Prover-V1 by optimizing both training and inference processes. Pre-trained on DeepSeekMath-Base with specialization in formal
Wu, Z. F., Luo, Fuli, Yang, Dejian, Du, Qiushi, Xin, Huajian, Gou, Zhibin, Gao, Wenjun, Ren, Z. Z., Song, Junxiao, Wang, Haocheng, Ruan, Chong, Liu, Bo, Zhang, Liyue, Lu, Xuan, Shao, Zhihong, Zhao, Wanjia, Zhu, Qihao   +16 more
core   +1 more source

DeepSeek R1 VS OpenAI o1 vs Chatgpt 5.4

DeepSeek R1 VS OpenAI o1 vs Chatgpt 5.
Chen, Yongpeng
core   +1 more source

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

We present DeepSeek-Coder-V2, an open-source Mixture-of-Experts (MoE) code language model that achieves performance comparable to GPT4-Turbo in code-specific tasks. Specifically, DeepSeek-Coder-V2 is further pre-trained from an intermediate checkpoint of
Wang, Bingxuan, Luo, Fuli, Ma, Shirong, Chen, Deli, Piao, Yishi, Du, Qiushi, DeepSeek-AI, Guo, Daya, Gao, Huazuo, Gao, Wenjun, Song, Junxiao, Liu, Aixin, Shao, Zhihong, Hao, Zhewen, You, Yuxiang, Deng, Chengqi, Zeng, Wangding, Wang, Peiyi, Dai, Damai, Wu, Y., Li, Yukun, Yang, Dejian, Bi, Xiao, Dong, Kai, Xie, Zhenda, Gou, Zhibin, Wang, Yaohui, Ruan, Chong, Xu, Runxin, Zhang, Liyue, Lu, Xuan, Zhao, Chenggang, Liang, Wenfeng, Chen, Qinyu, Li, Jiashi, Gu, Zihui, Xie, Xin, Guan, Kang, Zhu, Qihao, Xu, Hanwei   +39 more
core  

Utility of large language models as information tools for nursing care in gout: a comparative study of DeepSeek and ChatGPT

Frontiers in Medicine
BackgroundWith the rapid advancement of artificial intelligence, LLMs (LLMs) are now employed across diverse domains. In nursing, their capacity for high-quality content generation is especially promising, offering practical value for clinical management,
Xia Pan, Yali Wang, QiaoLan Yang, Jing Wang, Yun Tong, Duanfeng Zhang, Xiaofeng Lv, Chun Zheng, Miaoyin Wu, Tianwang Li, Tianwang Li, Li Tang, Zhengping Huang, Zhengping Huang   +13 more
doaj   +1 more source

Accuracy of ChatGPT and DeepSeek in answering clinical questions from the 2025 Society for Cardiovascular Angiography & Interventions/Heart Rhythm Society left atrial appendage occlusion guidelines

Journal of International Medical Research
Objective To evaluate the accuracy of ChatGPT and DeepSeek in answering guideline-based clinical questions in cardiology. Methods In August 2025, responses generated from four large language models to eight clinical questions based on the 2025 Society ...
Yunpeng Jin, Chao Feng, Jianqiang Zhao, Wenting Lin, Bin Li   +4 more
doaj   +1 more source

DeepSeek-R1 vs. OpenAI o1 in colorectal cancer screening: a binational evaluation

BMC Gastroenterology
Background Large language models (LLMs), such as OpenAI o1 and DeepSeek-R1, demonstrate promising applications in healthcare through structured reasoning and decision support.
Yongpeng Chen, Sen Deng, Priska Hakenberg, Chengpeng Li, Tianzuo Zhan, Dejun Fan, XuTao Lin, Xianzhe Li, Cui Yang, Jiancong Hu   +9 more
doaj   +1 more source

DeepSeek: implications for data science and management in the AI era

Data Science and Management
DeepSeek has emerged as a disruptive force in artificial intelligence. Unlike traditional large language models (LLMs), which demand extensive computational resources, DeepSeek delivers comparable performance to industry-leading models at a fraction of ...
Zongben Xu, Shan Liu, Wei Huang, Junmin Shi, Fengmin Xu, Xin Tang, Haibing Lu   +6 more
doaj   +1 more source

Evaluating ChatGPT and DeepSeek in postdural puncture headache management: a comparative study with international consensus guidelines

BMC Neurology
Objective To evaluate the use of ChatGPT and DeepSeek in clinical practice to provide healthcare professionals with accurate information on the prevention, diagnosis, and management of post-dural puncture headache (PDPH), in particular to evaluate ...
Jiayi Deng, Xu Qiu, Chengqi Dong, Li Xu, Xiaoxue Dong, Shiyue Yang, Qinghua Li, Tao Mei, Shi Chen, Yali Wu, Jianliang Sun, Feifang He, Hanbin Wang, Liang Yu   +13 more
doaj   +1 more source

Dietary guidance for pregnant women using DeepSeek-R1 and ChatGPT-4.0: a comparative analysis [PDF]

BackgroundAdvancements in artificial intelligence (AI) and natural language processing have enabled the widespread application of large language models.
WeiYue Fang, ZeJun Gao, Jie Li
core   +1 more source

DeepSeek Under Attack: An Analysis of Jailbreak Attacks and Prompt-Level Defenses

IEEE Access
Large Language Models (LLMs) with reasoning capabilities (e.g., DeepSeek-R1) gained substantial research and industry interest. However, their novel reasoning features may introduce vulnerabilities, especially to specific jailbreak attacks that exploit ...
Victor Takashi Hayashi, Milton Pedro Pagliuso Neto, Charles Christian Miers, Fernando Frota Redigolo, Reginaldo Arakaki, Marcos Antonio Simplicio   +5 more
doaj   +1 more source