Pinned Loading

1. CodeV-SVA CodeV-SVA Public

   [DAC 2026] QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis

   Python 8

2. stepfun-ai/StepFun-Formalizer stepfun-ai/StepFun-Formalizer Public

   StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

   Python 29 3

3. InverseCoder InverseCoder Public

   [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(https://arxiv.org/abs/2407.05700).

   Python 15 1

4. EarthCore EarthCore Public

   使用 Unity 引擎制作的卡牌游戏。

   C# 15 4