Skip to content
View lee-man's full-sized avatar
🏠
Production-Ready Verification Researching
🏠
Production-Ready Verification Researching

Highlights

  • Pro

Block or report lee-man

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

LLMs

15 repositories

This is the official code repository of MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks.

Python 85 3 Updated Mar 30, 2025

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

70,799 8,102 Updated Jun 4, 2025

Retrieval and Retrieval-augmented LLMs

Python 11,028 812 Updated Dec 15, 2025

The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.

Python 8,837 583 Updated May 3, 2024

A scalable generative AI framework built for researchers and developers working on Large Language Models, Multimodal, and Speech AI (Automatic Speech Recognition and Text-to-Speech)

Python 16,333 3,242 Updated Dec 20, 2025

The official PyTorch implementation of Google's Gemma models

Python 5,588 567 Updated May 30, 2025

lightweight, standalone C++ inference engine for Google's Gemma models.

C++ 6,650 582 Updated Dec 19, 2025

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents

Python 133 11 Updated Jun 17, 2024

A modular graph-based Retrieval-Augmented Generation (RAG) system

Python 29,871 3,155 Updated Dec 20, 2025

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Shell 47,445 3,328 Updated Dec 20, 2025

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript 88,109 10,107 Updated Dec 20, 2025

Official inference framework for 1-bit LLMs

Python 24,464 1,915 Updated Jun 3, 2025

Low-bit LLM inference on CPU/NPU with lookup table

C++ 902 74 Updated Jun 5, 2025

Paper2Code: Automating Code Generation from Scientific Papers in Machine Learning

Python 3,918 589 Updated Dec 1, 2025

This repository includes the data and scripts utilized in the study titled "Improving LLM-based Verilog Code Generation with Data Augmentation and RL (DATE25)".

Python 13 1 Updated Mar 24, 2025