Skip to content
STIMSMITH

LyraGen

Tool
First seen 6/10/2026
Last seen 6/10/2026
Evidence 7 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

7 connections
Coverage-Conditioned Training implements → 100% 2e
LyraGen is trained with coverage-conditioned supervised training.
Lyra ← uses 100% 2e
Lyra uses LyraGen as its generative model for instruction generation.
ISA-Aware Instruction Generation implements → 100% 2e
LyraGen is designed with inherent ISA semantic awareness for instruction generation.
RISC-V uses → 100% 2e
LyraGen learns RISC-V instruction semantics and generates RISC-V instructions.
OPT-125M uses → 100% 1e
LyraGen is built by retraining OPT-125M as the base model.
RVTokenizer uses → 100% 1e
LyraGen uses the RVTokenizer whose vocabulary aligns with RISC-V instruction tokenization.
Lyra: A Hardware-Accelerated RISC-V Verification Framework with Generative Model-Based Processor Fuzzing ← introduces 100% 1e
The paper introduces LyraGen as the domain-specialized generative model component.