LLM4Code

community

AI & ML interests

None defined yet.

Recent Activity

tarsur909 submitted a paper 4 days ago

BEAVER: An Efficient Deterministic LLM Verifier

joooelw authored a paper 2 months ago

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis

joooelw authored a paper 2 months ago

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas

View all activity

models 4

LLM4Code/CodeARC_annotated_llama3.1

8B • Updated Jun 25 • 19 • 1

LLM4Code/CodeARC_anonymous_llama3.1

8B • Updated Jun 25 • 18 • 1

LLM4Code/Superoptimizer_Qwen7B

8B • Updated May 11 • 144 • 2

LLM4Code/VeriCoder_Qwen14B

15B • Updated Apr 27 • 19 • 3

datasets 4

LLM4Code/SATBench

Preview • Updated Jul 15 • 76 • 2

LLM4Code/llm_superoptimizer_ds

Viewer • Updated May 28 • 8.08k • 320 • 1

LLM4Code/expanded_rtlcoder_12k

Viewer • Updated Apr 26 • 12.4k • 29 • 2

LLM4Code/expanded_origen_126k

Viewer • Updated Apr 26 • 126k • 40 • 1