Cite
Notes
Only stored in your browser.
Attribution
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
arXiv 2025
Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey
arXiv 2023
from 2 papers
Jingwei Xu
Junyu Lai
Chun Cao
Hao Chen
Jiakun Zhang
Jiarui Zhang
Lijuan Yang
Penghao Zhao
Shuo Xu
Shupeng Li