3 papers
cs.AI2025
Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
Yuxin Li, Minghao Liu, Ruida Wang +6
We present **Lean4PHYS**, a comprehensive reasoning framework for college-level physics problems in Lean4. **Lean4PHYS** includes *LeanPhysBench*, a college-level benchmark for for…
cs.CL2025
Attention Mechanism and Context Modeling System for Text Mining Machine Translation
Yuwei Zhang, Junming Huang, Sitong Liu +2
This paper advances a novel architectural schema anchored upon the Transformer paradigm and innovatively amalgamates the K-means categorization algorithm to augment the contextual…
cs.IR2024
A Recommendation Model Utilizing Separation Embedding and Self-Attention for Feature Mining
Wenyi Liu, Rui Wang, Yuanshuai Luo +3
With the explosive growth of Internet data, users are facing the problem of information overload, which makes it a challenge to efficiently obtain the required resources. Recommend…