scorpion
PulseAugur coverage of scorpion — every cluster mentioning scorpion across labs, papers, and developer communities, ranked by signal.
-
SlideRuler 针对扫描仪差异校准病理模型 · 跟踪到 2 个来源
研究人员开发了 SlideRuler，一种校准病理基础模型的新颖方法，解决了由扫描仪差异引起的不一致性。该技术利用单张幻灯片内的内部区域作为对照，来估计和纠正采集引起的偏移。通过学习配对重扫描的迁移图，SlideRuler 允许在推理过程中使用固定的基础模型进行校准，显著减小了不同扫描仪和编码器之间的嵌入距离。
-
LLM 为最优规划生成可接受的启发式方法，改进了最先进技术
研究人员开发了 LeanPlan，一个利用大型语言模型（LLM）为最优规划生成可接受启发式方法的新型规划系统。该系统使用一个带有 GPT-5.6 Sol 的代理循环来迭代地改进启发式方法及其可接受性证明，然后这些证明在 Lean 4 中进行机器检查。在规划竞赛领域进行的评估表明，LeanPlan 通常比最先进的 Scorpion 规划器扩展的州更少，解决的任务也更多。另外，一个用于“任意开始时间规划”的新框架已被引入，它解决了执行开始…
-
StableDiffusion 用户创建了《真人快打》角色 Scorpion 和 Sub-Zero 的动漫风格战斗场景
一位 Reddit 用户分享了一个使用 StableDiffusion 生成的动漫风格战斗场景的创意项目，主角是 Scorpion 和 Sub-Zero。该用户详细介绍了他们如何创建自定义角色表来影响生成结果，旨在捕捉《真人快打 11》和《真人快打 3》中的角色形象。尽管在将角色特质转化为视觉效果方面存在挑战，但用户对多次生成尝试后的最终结果表示满意。
-
AI提示细节：Bugs Bunny vs. Scorpion "Looney Kombat"视频
一位Reddit用户分享了一个用于AI图像生成器的详细提示，旨在创建一个“Looney Kombat”视频。该提示描述了一个电影风格的格斗游戏场景，将逼真的3D渲染与卡通风格的角色相结合，具体是将Bugs Bunny与Scorpion进行一场Mortal Kombat风格的对决。它为每个角色指定了独特的视觉风格，并概述了一系列动作，包括Bugs Bunny标志性的闪避动作和一个奶油派砸脸的笑料。
-
蜘蛛侠预告片揭示蜘蛛人变异、浩克大战及琴·葛蕾反派
《蜘蛛侠：全新一天》的一段新预告片揭示了更多关于电影情节和角色的信息，包括彼得·帕克的完整蜘蛛人变异以及与野蛮浩克的对峙。预告片还暗示了弗兰克·卡斯特（惩罚者）将扮演更重要的角色。核心谜团围绕着由萨迪·辛克饰演的反派，她强大的心灵能力表明她可能是X战警中的琴·葛蕾，这对于一部蜘蛛侠电影的反派来说是一个令人惊讶的选择。