Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
Paper
•
2507.16331
•
Published
•
18
Binhang Yuan
biyuan
AI & ML interests
ML System
Recent Activity
authored
a paper
about 1 month ago
FlexGen: High-Throughput Generative Inference of Large Language Models
with a Single GPU
authored
a paper
about 1 month ago
Auto-Differentiation of Relational Computations for Very Large Scale
Machine Learning
authored
a paper
about 1 month ago
Holistic Evaluation of Language Models
Organizations
upvoted
a
paper
about 1 month ago
upvoted
an
article
over 1 year ago
Article
Speculative Decoding for 2x Faster Whisper Inference
By
•
•
30