LLM4Code/VeriCoder_Gemma12b
12B
•
Updated
•
10
•
1
LLM4Code
community
AI & ML interests
None defined yet.
Recent Activity
huanmit
updated
a
model
4 days ago
huanmit
published
a
model
4 days ago
joooelw
updated
a
dataset
25 days ago
tarsur909
submitted
a
paper
to Daily Papers
about 1 month ago
joooelw
authored
4
papers
3 months ago
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
Paper
•
2503.23145
•
Published
•
35
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
Paper
•
2505.14615
•
Published
•
1
DEL-ToM: Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic
Paper
•
2505.17348
•
Published
•
1
On the Role of Temperature Sampling in Test-Time Scaling
Paper
•
2510.02611
•
Published
•
1
anjiangwei
updated
2
models
7 months ago
tarsur909
authored
5
papers
8 months ago
VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
Paper
•
2504.15659
•
Published
SweRank: Software Issue Localization with Code Ranking
Paper
•
2505.07849
•
Published
•
10
Improving Assembly Code Performance with Large Language Models via Reinforcement Learning
Paper
•
2505.11480
•
Published
•
8
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
Paper
•
2505.14615
•
Published
•
1
DINGO: Constrained Inference for Diffusion LLMs
Paper
•
2505.23061
•
Published
•
31
anjiangwei
published
2
models
8 months ago
anjiangwei
updated
a
dataset
8 months ago
anjiangwei
published
a
dataset
8 months ago
huanmit
updated
a
model
9 months ago