BEAVER: An Efficient Deterministic LLM Verifier
Paper • 2512.05439 • Published • 36
Tarun Suresh
tarsur909
AI & ML interests
None yet
Recent Activity
authored a paper about 2 hours ago
BEAVER: An Efficient Deterministic LLM Verifier authored a paper about 2 hours ago
TRACE: Capability-Targeted Agentic Training upvoted a paper about 20 hours ago
TRACE: Capability-Targeted Agentic TrainingOrganizations
authored 2
papers about 2 hours ago
submitted a
paper to Daily Papers about 20 hours ago
submitted a
paper to Daily Papers 4 months ago
authored 5
papers 10 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
authored 5
papers about 1 year 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
CRANE: Reasoning with constrained LLM generation
Paper • 2502.09061 • Published • 21