0

Jingzhe Shi

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Binhang Yuan

1 shared paper

Bowen Zhou

professor

1 shared paper

Chenghua Lin

1 shared paper

Chuanhao Yan

1 shared paper

Fengdi Che

1 shared paper

Hang Zhao

1 shared paper

Jie Fu

1 shared paper

Xin Li

1 shared paper

Xingwei Qu

1 shared paper

Xu Xu

1 shared paper