V
主页
大规模语言模型在科学中的应用:P vs. NP问题的研究
发布人
论文简述:本论文提出了一种新的范式——大规模语言模型用于科学研究(LLM4Science),并在P vs. NP问题上进行了试验。研究表明,通过对话交互,LLM4Science能够产生证明方案,并进行严格推理,得出“P ̸= NP”的结论。这一研究揭示了LLMs在广阔解空间中的潜力,为LLMs在科学领域的应用提供了新的思路。 论文链接:https://arxiv.org/pdf/2309.05689
打开封面
下载高清视频
观看高清视频
视频下载器
层次规划组合基础模型研究
大规模语言模型的训练与优化研究
综述:大模型的可解释性研究
验证链减少大型语言模型幻觉问题研究
语言模型在数学问题求解中的学习和纠错能力研究
大型语言模型在上下文学习中的可靠性提升:结合监督知识的方法
数学推理AI模型
对比解码提升大型语言模型推理能力
基于文本到图像扩散模型的文本到视频生成架构研究
华罗庚:《谈自学》,第三,没有什么秘密的学习方法
基于双语文本的Skywork-13B大型语言模型研究
小模型大智慧:TinyGSM助力小规模语言模型在数学推理上超越大规模模型
利用数据中心方法提升大型语言模型在金融领域的应用
基于大型语言模型的幻觉综述
大型语言模型作为优化器
LLM360:推动全透明开源大型语言模型研究
TinyLlama:开源小型语言模型的新突破
大型语言模型生成内容质量自评估提升选择性生成
单张图像到3D的高效生成:基于分摊生成的3D高斯模型
200元显卡大战Qwen2.5-32B,垃圾佬也想跑本地大模型,P104双卡Linux下Ollama跑Local LLM
50个数学常数解释
基于语言模型的在线纠错和知识检索系统DROC在机器人任务泛化中的应用
多模态大型语言模型深度比较:Gemini与GPT-4V的全面评估与结合
多语言大型语言模型训练数据集CulturaX
图像生成美学优化方法研究
共训练和共蒸馏:提高预训练语言模型性能与推理速度的新框架
面向大型语言模型的有约束文本生成方法
基于扩散模型的文本到图像合成
人工智能在图灵测试中的自然语言交流与欺骗能力分析
基于Transformer的推荐系统特征交互建模方法研究
【AI Drive】天津大学副教授张长青:多模态融合的基础问题及算法研究
幂运算 球需要在1分钟内逃脱,否则将被困住#几何图形
多模态大型语言模型Gemini在常识推理中的表现评估
从人类反馈中学习:纳什学习在大型语言模型中的应用
大型语言模型潜在知识发现的挑战
多模态指令图像生成:Instruct-Imagen模型的创新与应用
基于语言模型的知识探测和推理方法
Kosmos-G: Generating Images in Context with Multimodal Large Language Models
FreeInit:弥合视频扩散模型初始化鸿沟以提升生成视频的时间一致性
安全训练与语言模型的鲁棒性: 对Llama 2-Chat进行潜在微调的风险评估