A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages
☆20Jun 11, 2026Updated 2 months ago
Alternatives and similar repositories for Survey-CodeLLM4LowResource-DSL
Users that are interested in Survey-CodeLLM4LowResource-DSL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI-Assisted Verification of Data Structures☆22May 27, 2026Updated 3 months ago
- Code and dataset for EMNLP 2022 Findings paper "Benchmarking Language Models for Code Syntax Understanding"☆16Oct 24, 2022Updated 3 years ago
- [ICLR 2024] Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain☆11Nov 24, 2025Updated 9 months ago
- DocChecker: Bootstrapping Code-Text Pretrained Language Model to Detect Inconsistency Between Code and Comment☆15Jan 23, 2024Updated 2 years ago
- Probing pre-trained source code models☆16Apr 27, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆42May 7, 2026Updated 3 months ago
- HierCGRA: An Open-Source Framework for Large-Scale CGRA with Hierarchical Modeling and Automated Exploration☆15Mar 6, 2023Updated 3 years ago
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆17Sep 21, 2025Updated 11 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- ☆23Apr 17, 2023Updated 3 years ago
- LLM-based and retrieval-augmented Control Code Generation☆24Oct 22, 2024Updated last year
- Project of ACL 2025 "UAlign: Leveraging Uncertainty Estimations for Factuality Alignment on Large Language Models"☆15Mar 25, 2025Updated last year
- Connecting bv_decide to SMTLIB.☆16Updated this week
- Machine Learning for Mathematics and Logics☆16Apr 1, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A repository of code examples to accompany the LSU CSC7809/7700/47000 course on AI foundation models.☆13Apr 5, 2025Updated last year
- Auto formalization of the CLRS text book☆39Jul 8, 2026Updated last month
- OriGen: Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection(ICCAD 2024)☆34Oct 20, 2024Updated last year
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 7 months ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- ☆18Feb 23, 2025Updated last year
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Apr 24, 2026Updated 4 months ago
- ☆20Dec 1, 2024Updated last year
- ☆14Feb 18, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Building RESTful API with Laravel [Video], published by Packt☆12Jan 15, 2021Updated 5 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- An easy way to view current and overall statistics for corona virus in your terminal☆11Jun 12, 2020Updated 6 years ago
- Elana: A Simple Energy & Latency Analyzer for LLMs☆16Apr 3, 2026Updated 4 months ago
- A Lean-embedded framework to verify Verilog modules☆15Aug 15, 2026Updated 2 weeks ago
- ☆17Jul 2, 2025Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- ☆28Updated this week
- A tool for checking the contract satisfaction for hardware designs☆12Jul 21, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12Mar 15, 2024Updated 2 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- ☆10Feb 17, 2020Updated 6 years ago
- MOTIF: Modular Thinking via Reinforcement Fine-tuning in LLMs☆17Jul 6, 2025Updated last year
- Mass Android app vulnerability analysis toolkit☆13Dec 6, 2016Updated 9 years ago
- 🌟 SwarmAgent: A framework for simulating social group dynamics using multi-agent collaboration, aiding insights into collective behavior…☆13Dec 5, 2023Updated 2 years ago
- RISCV C and Triton AI-Benchmark☆26Jan 28, 2026Updated 7 months ago