arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Jing Ma"" — arXiv2 Search
Showing 1–4 of 4 results
/ Date
/ Name
Oct 1, 2025
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
Apr 19, 2022
DecBERT: Enhancing the Language Understanding of BERT with Causal Attention Masks
May 29, 2021
Analysis and classification of main risk factors causing stroke in Shanxi Province
Nov 21, 2017
Ionic Modulation of Interfacial Magnetism through Electrostatic Doping in Pt/YIG bilayer heterostructure