LLM4Code

community

AI & ML interests

None defined yet.

Recent Activity

joooelw authored a paper 23 days ago

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

joooelw authored a paper 23 days ago

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

joooelw authored a paper 23 days ago

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

View all activity

LLM4Code 's models 4

LLM4Code/CodeARC_annotated_llama3.1

8B • Updated Jun 25 • 6 • 1

LLM4Code/CodeARC_anonymous_llama3.1

8B • Updated Jun 25 • 6 • 1

LLM4Code/Superoptimizer_Qwen7B

8B • Updated May 11 • 1 • 2

LLM4Code/VeriCoder_Qwen14B

15B • Updated Apr 27 • 3 • 3