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