Beyond Solver Verdicts: Generative Reward Models for Autoformalization
Paper • 2609.11085 • Published • 35
Idan Davidovich
IdanDavidovich
AI & ML interests
None yet
Recent Activity
upvoted a paper 30 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization new activity 30 days ago
IdanDavidovich/StochBench:Add link to paper authored a paper about 1 month ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in LeanOrganizations
None yet
upvoted a paper 30 days ago
Add link to paper
#2 opened about 1 month ago
by 
nielsr
authored a
paper about 1 month ago
upvoted a paper about 1 month ago
liked a
dataset about 1 month ago
updated a
dataset about 1 month ago
published a
dataset about 1 month ago