1 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
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…
Optimizing News Text Classification with Bi-LSTM and Attention Mechanism for Efficient Data Processing
Bingyao Liu, Jiajing Chen, Rui Wang +3
The development of Internet technology has led to a rapid increase in news information. Filtering out valuable content from complex information has become an urgentproblem that nee…
Integration of Mamba and Transformer -- MAT for Long-Short Range Time Series Forecasting with Application to Weather Dynamics
Wenqing Zhang, Junming Huang, Ruotong Wang +3
Long-short range time series forecasting is essential for predicting future trends and patterns over extended periods. While deep learning models such as Transformers have made sig…
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…