0

Jie Yan

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

arXiv 2025

2025

Conservative State Value Estimation for Offline Reinforcement Learning

conservative-state-value-estimation-for

2023

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Chenrui Cao

1 shared paper

Di Huang

1 shared paper

Dongmei Zhang

1 shared paper

Lei Qi

1 shared paper

Liting Chen

1 shared paper

Lu Wang

1 shared paper

QIngwei Lin

1 shared paper

Rui Zhang

1 shared paper

Ruosi Wan

1 shared paper

Saravan Rajmohan

1 shared paper