Dongwei Jiang

jiangdongwei.com

Baltimore I'm currently working on LLMs, specifically reasoning and self-improvement. In my past life, I spent six years doing research in industry on speech processing

Results 1 repositories owned by


                                            Dongwei Jiang

trafficstars

theorem-proving-reasoning

22

Stars

3

Forks

Watchers

Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf

Some-random