Learning to prove theorems via interacting with proof assistants
- Kaiyu Yang
- , Jia Deng
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
38
Link opens in a new tab
Scopus
citations