LLM4Code

community

AI & ML interests

None defined yet.

Recent Activity

tarsur909 submitted a paper 6 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

LLM4Code 's datasets 4

LLM4Code/SATBench

Preview • Updated Jul 15 • 92 • 2

LLM4Code/llm_superoptimizer_ds

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

LLM4Code/expanded_rtlcoder_12k

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

LLM4Code/expanded_origen_126k

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