BEAVER: An Efficient Deterministic LLM Verifier
Paper
•
2512.05439
•
Published
•
35
AI & ML interests
None defined yet.
Recent Activity
View all activity
tarsur909
submitted
a
paper
to Daily Papers
20 days ago
tarsur909
authored
5
papers
7 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
tarsur909
authored
4
papers
9 months ago
IterGen: Iterative Structured LLM Generation
Paper
•
2410.07295
•
Published
•
1
Tamper-Resistant Safeguards for Open-Weight LLMs
Paper
•
2408.00761
•
Published
CoRNStack: High-Quality Contrastive Data for Better Code Ranking
Paper
•
2412.01007
•
Published
•
1
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
Paper
•
2503.23145
•
Published
•
35
tarsur909
authored
a
paper
11 months ago
gangiswag
updated
a
model
12 months ago
gangiswag
updated
a
dataset
about 1 year ago