TY  - RPRT
TI  - An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
AU  - Yang Xu
AU  - Peiyao Liu
AU  - Shuwei Chen
AU  - Jun Liu
PY  - 2025
UR  - https://arxiv.org/abs/2511.04092
ID  - 2511.04092
ER  -