This is the Github Repo for the paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
☆26Sep 25, 2025Updated 8 months ago
Alternatives and similar repositories for VeriReason
Users that are interested in VeriReason are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLM-DSE: Searching Accelerator Parameters with LLM Agents☆15May 22, 2025Updated last year
- A fully functional Convolutional VAE implemented in pure C from scratch.☆23Jan 19, 2026Updated 4 months ago
- ☆31Apr 23, 2024Updated 2 years ago
- ☆42Apr 11, 2025Updated last year
- ☆15Dec 9, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- All things done for IIIT research.☆12Oct 28, 2020Updated 5 years ago
- ☆19Oct 17, 2024Updated last year
- 🧮 Algebraic Positional Encodings.☆21Jun 5, 2026Updated last week
- ☆206Oct 17, 2024Updated last year
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- LLM Evaluation Framework for Hardware Design Using Python-Embedded DSLs☆18Aug 26, 2024Updated last year
- Offical implementation of the paper "Rhizomorph: The Coordinated Function of Shoots and Roots"☆14Nov 21, 2023Updated 2 years ago
- This repo contains the benchmarks for Enzyme on GPU's☆11May 28, 2026Updated 2 weeks ago
- Benchmarking LLMs on Typst☆21May 26, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Code release for AdapMoE accepted by ICCAD 2024☆38Apr 28, 2025Updated last year
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- ☆60Sep 4, 2025Updated 9 months ago
- Data is all you need: Finetuning LLMs for Chip Design via an Automated design-data augmentation framework (DAC 2024)☆61Dec 17, 2024Updated last year
- Code for our paper 'Automatic Synthesis of Broadband Silicon Photonic Devices via Bayesian Optimization'☆16May 17, 2024Updated 2 years ago
- MAGE: A Multi-Agent Engine for Automated RTL Code Generation☆121Apr 11, 2025Updated last year
- A procedural 3D tree model, with particle-based growth and environment interactions, the project is based on UniEngine.☆21Apr 1, 2025Updated last year
- ☆29Jan 30, 2025Updated last year
- RISC-V Processor Tracing tools and library☆16Mar 17, 2024Updated 2 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.
- A new LLM solution for RTL code generation, achieving state-of-the-art performance in non-commercial solutions and outperforming GPT-3.5.☆300Feb 9, 2025Updated last year
- Work related to vectorizing strategies for arbitrary FHE programs☆10Sep 5, 2025Updated 9 months ago
- [ACL 2026 🔥] CASS: Nvidia to AMD Transpilation with Data, Models, and Benchmark☆34Apr 20, 2026Updated last month
- ☆17Sep 27, 2022Updated 3 years ago
- Filelist generator☆21Updated this week
- ☆30Dec 8, 2024Updated last year
- Tools based upon slang for language server purpose☆23Mar 17, 2026Updated 2 months ago
- MoE-Visualizer is a tool designed to visualize the selection of experts in Mixture-of-Experts (MoE) models.☆16Apr 8, 2025Updated last year
- Repository for answers for exercises in Programming Massively Parallel Processors book☆16Aug 10, 2024Updated last year
- 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.
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆18Nov 20, 2025Updated 6 months ago
- GeST (Generating Stress-Tests) is a Genetic Algorithm framework for automatic hardware stress-test generation. Related scientific publica…☆15May 7, 2019Updated 7 years ago
- [ACM TOG] Latent L-systems: Transformer based Tree Generator, https://dl.acm.org/doi/10.1145/3627101☆30Aug 12, 2024Updated last year
- code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …☆12May 8, 2022Updated 4 years ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆15Jul 10, 2024Updated last year
- Pytorch Code for FedHyper☆11Aug 28, 2024Updated last year
- ASPLOS'24: Optimal Kernel Orchestration for Tensor Programs with Korch☆41Mar 27, 2025Updated last year