@misc{indiciae3a5704cdc22d,
  title = {Automated Generation of Massive Reasonable Empirical Theorems by Forward Reasoning Based on Strong Relevant Logics -- A Solution to the Problem of LLM Pre-training Data Exhaustion},
  author = {Jingde Cheng},
  year = {2024},
  url = {https://arxiv.org/abs/2412.12408},
  note = {Source identifier: 2412.12408}
}