LLM4Code

community

AI & ML interests

None defined yet.

Recent Activity

joooelw authored a paper 4 days ago

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

joooelw authored a paper 4 days ago

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

joooelw authored a paper 4 days ago

DEL-ToM: Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic

View all activity

models 4

LLM4Code/CodeARC_annotated_llama3.1

8B • Updated Jun 25 • 5 • 1

LLM4Code/CodeARC_anonymous_llama3.1

8B • Updated Jun 25 • 7 • 1

LLM4Code/Superoptimizer_Qwen7B

8B • Updated May 11 • 2

LLM4Code/VeriCoder_Qwen14B

15B • Updated Apr 27 • 1 • 3

datasets 4

LLM4Code/SATBench

Preview • Updated Jul 15 • 34 • 2

LLM4Code/llm_superoptimizer_ds

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

LLM4Code/expanded_rtlcoder_12k

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

LLM4Code/expanded_origen_126k

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