c769-优快云博客

原创【文献笔记】LLM-based control code generation using image recognition

【文献笔记】论文提出了一种基于LLM的新方法，通过图像识别从管道仪表图（Piping and Instrumentation Diagrams, P&IDs）的拓扑结构生成IEC 61131-3结构化文本（Structured Text, ST）控制逻辑代码，旨在减少工业自动化中控制逻辑的手动编程工作量。

2025-04-17 20:19:55 904

原创【文献笔记】SatLM: Satisfiability-Aided Language Models Using Declarative Prompting

【文献笔记】文章提出了SATLM方式，使用LLM生成声明性任务规范，而不是命令式程序，并利用现成的自动定理证明器推导最终答案

2025-04-16 16:38:49 1069

原创【文献笔记】Knowledge Pyramid Construction for Multi-Level Retrieval-Augmented Generation

【文献笔记】本研究提出了一个整合多种知识表示形式构建知识库的框架PolyRAG，并采用多层次查询方法实现知识金字塔在领域问答中的应用。在此过程中，重点解决了两个关键问题：特定领域知识优先级判定和检索环境中的噪声干扰。

2025-04-16 15:23:01 982

原创【文献笔记】LLM-based and retrieval-augmented control code generation

【文献笔记】一种新的控制代码生成方法，结合了LLM和RAG，解决了传统LLM无法处理专有功能块的问题

2025-04-15 14:47:55 876

原创【文献笔记】From informal to formal: incorporating and evaluating LLM on natural language requirements

【文献笔记】现有的研究通常将问题解决、推理和形式化规范编写等多个技能混合在一起，难以单独评估LLM在每个具体任务上的能力，这篇文章聚焦于形式化验证，将其分解为多个子任务，以便更精确地分析。本研究的重点是利用LLM将自然语言描述的非形式化需求转化为可验证的形式化证明，并评估其性能。

2025-04-13 10:29:49 730

原创【文献笔记】SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers

【文献笔记】这篇论文探讨了LLM在解决数学研究级问题——特别是判断多元多项式是否为非负（nonnegative）以及是否能表达为平方和（Sum of Squares, SoS）方面的能力。这一问题与希尔伯特第十七问题密切相关，是全局多项式优化中的核心挑战，具有广泛的应用。

2025-04-12 21:53:17 1014

原创【文献笔记】Chain-of-thought reasoning without prompting

【文献笔记】作者发现传统的贪心解码路径会生成错误的答案，但如果用top-k解码来生成第一个token，后续继续贪婪解码时，CoT会自然而然的出现；而且如果在解码过程中存在CoT路径，LLM也会对最终答案更有信心利用这种现象，作者融合两种解码方式开发了一种方法，来筛选前k个解码路径，从而隔离出模型的输出中最可靠的路径，称之为CoT解码。

2025-04-11 09:14:17 966

原创【文献笔记】Leveraging LLM agents for AOM for SASP problems A graph-RAG based approach

【论文笔记】论文提出的方法通过结合多代理（MA）结构和图检索增强生成（Graph-RAG）技术，弥补了LLM在SASP领域的不足。这种方法不仅提高了建模的准确性和效率，还为其他需要领域知识的复杂优化问题提供了可借鉴的框架。

2025-04-11 09:07:05 618

原创【文献笔记】Leveraging large language models to develop heuristics for emerging optimization problems

论文调查了LLM在一个特定组合优化问题UPMP中生成启发式的潜力。论文使用CEoH方法，该方法通过引入额外的问题特定描述，在上下文学习中增强了启发式设计。CEoH在小众问题UPMP上证明了LLM生成启发式的潜力，尤其对小型模型更有效。未来可研究不同LLM对上下文的依赖性，并扩展到更多小众的优化问题。

2025-04-10 15:16:41 986

原创【文献笔记】OptiChat：Bridging optimization models and practitioners with large language models

原文代码通过多代理框架和优化工具的结合，OptiChat实现了对优化模型的全面解释，并在实验中验证了其高效性和准确性，为优化领域的可解释性研究提供了新工具和数据支持。

2025-04-10 14:16:23 1357

原创【文献笔记】OptiMUS: Scalable optimization modeling with (MI)LP solvers and large language models

OptiMUS: Scalable optimization modeling with (MI)LP solvers and large language models的文献笔记，该文结合了求解器和LLM，实现了一种可扩展优化建模工具——OptiMUS，可以对混合整数线性规划(MILP)问题建立数学模型、编写和调试求解器代码、自主评估生成的解决方案，并根据评估结果改进其建模和代码。对比目前的别的方法，该方法在面对长描述或复杂问题时表现更佳。

2025-04-09 23:10:19 930

原创【文献笔记】Diagnosing Infeasible Optimization Problems Using Large Language Models

Diagnosing Infeasible Optimization Problems Using Large Language Models论文笔记，文中开发了OptiChat (build on gpt4) ，是一个首创的基于自然语言的系统，配备了聊天机器人GUI，用于进行关于优化不可行问题的模型的交互对话。它的主要作用是作为一个自然语言接口，将优化求解器的反馈和模型的诊断结果以更易于理解的方式呈现给用户。

2025-04-09 17:35:33 997

原创【文献笔记】Large Language Models as Evolutionary Optimizers

Large Language Models as Evolutionary Optimizers文献笔记。文中提出了一个基于LLM（GPT-3.5 API chat-turbo-0613）的进化算法（LMEA），用于解决经典的旅行商（TSP）问题。LLM在这里的作用是通过提示（prompt）进行父代选择、交叉和变异操作，这构成了进化优化的核心部分。

2025-04-09 16:21:38 612

原创关于Unity Camera没有Clear Flags的解决方法

当我做FPS游戏的时候，找的视频都是需要把Camera的Clear Flags设为Depth only，然后再修改Culling Mask。但好像Unity用了Pipeline以后，新的Camera并没有这个选项。原来的：新的：找到的解决方案为：将Render Type设为Overlay，然后Culling Mask里只选择想要看到的那个层级（比如我这里是武器weapon）：最后，在main camera最下面的地方找到stack，选择添加你的第二相机，就可以实现原来的效果了（即武器不会穿

2022-03-10 00:03:52 6834 3

c769的博客