arxiv:2403.14714
Dejan Grubisic
dejangrubisic
AI & ML interests
None yet
Recent Activity
upvoted
an
article
13 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
authored
a paper
over 1 year ago
Compiler generated feedback for Large Language Models
upvoted
a
paper
over 1 year ago
Priority Sampling of Large Language Models for Compilers
Organizations
None yet
