1 citations · 1 across the 2 of their papers we have counts for
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.CL2024
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…
cs.LG2024★ 1 cited
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…