Old Web
English
Sign In
Acemap
>
authorDetail
>
Edward W. Ayers
Edward W. Ayers
Language model
Computer science
Co-training
Automated theorem proving
imitation learning
1
Papers
4
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Proof Artifact Co-training for Theorem Proving with Language Models.
2021
arXiv: Artificial Intelligence
Jesse Michael Han
Jason Rute
Yuhuai Wu
Edward W. Ayers
Stanislas Polu
Show All
Source
Cite
Save
Citations (4)
1