AICPS / LLM_4_PLCLinks
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
☆53Updated 2 years ago
Alternatives and similar repositories for LLM_4_PLC
Users that are interested in LLM_4_PLC are comparing it to the libraries listed below
Sorting:
- LLM-based Test Case Generation for PLC Control Logic☆33Updated last year
- LLM-based and retrieval-augmented Control Code Generation☆20Updated last year
- Multi-Granularity LLM Debugger [ICSE2026]☆93Updated 5 months ago
- DeepSolution: Boosting Complex Engineering Solution Design via Tree-based Exploration and Bi-point Thinking☆49Updated 9 months ago
- ☆159Updated last year
- Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)☆188Updated 3 months ago
- AgileGen: Empowering Agile-Based Generative Software Development through Human-AI Teamwork (accepted by ACM TOSEM)☆23Updated last year
- Enhancing AI Software Engineering with Repository-level Code Graph☆233Updated 8 months ago
- Official implementation of paper How to Understand Whole Repository? New SOTA on SWE-bench Lite (21.3%)☆95Updated 8 months ago
- ☆68Updated last year
- ☆102Updated last year
- NaturalCodeBench (Findings of ACL 2024)☆68Updated last year
- Large Language Models Meet NL2Code: A Survey☆35Updated last year
- rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking☆39Updated 11 months ago
- ☆32Updated 6 months ago
- [NeurIPS 2024] Spider2-V: How Far Are Multimodal Agents From Automating Data Science and Engineering Workflows?☆135Updated last year
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆48Updated last month
- MapCoder: Multi-Agent Code Generation for Competitive Problem Solving☆179Updated 10 months ago
- ☆82Updated last year
- ☆300Updated 6 months ago
- [ICLR 2025] A trinity of environments, tools, and benchmarks for general virtual agents☆219Updated 5 months ago
- Inference code of Lingma SWE-GPT☆252Updated last year
- Advancing LLM with Diverse Coding Capabilities☆80Updated last year
- [NeurIPS 2024] Personal Agentic AI for MultiAgent Cooperation☆87Updated last year
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆195Updated last year
- TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)☆25Updated 2 months ago
- ☆46Updated 6 months ago
- Official github repo for AutoDetect, an automated weakness detection framework for LLMs.☆44Updated last year
- CodeLLaMA 中文版 - 代码生成助手，huggingface累积下载2w+次☆45Updated 2 years ago
- Reinforcement Learning for Repository-Level Code Completion☆42Updated last year