Meng Sun

1. A Survey on Theorem Provers in Formal Methods
   2019/12/06 by M. Saqib Nawaz, Nawaz, M. Saqib, Moin Malik +7 · 5 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering (cs.SE)
2. Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty
   2020/04/24 by Xiyue Zhang, Xiaofei Xie, Zhang, Xiyue +13 · 4 citations
   Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Physical Unclonable Functions (PUFs) and Hardware Security #Software Engineering (cs.SE)
3. Investigating the Lower Mass Gap with Low Mass X-ray Binary Population Synthesis
   2022/09/14 by Jared Siegel, Siegel, Jared C., Ilia Kiato +31 · 4 citations
   Earth and Planetary Sciences · Physics and Astronomy · #Astrophysical Phenomena and Observations #FOS: Physical sciences #High Energy Astrophysical Phenomena (astro-ph.HE) #High-pressure geophysics and materials #Pulsars and Gravitational Waves Research #Solar and Stellar Astrophysics (astro-ph.SR)
4. The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
   2024/12/09 by Yedi Zhang, Zhang, Yedi, Yufan Cai +21 · 10 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
5. POSYDON Data Release 2
   2024/11/04 by Jeff J. Andrews, Simone S. Bavera, Andrews, Jeff J. +45 · 8 citations
   Physics and Astronomy · #Advanced Chemical Physics Studies #Astrophysics of Galaxies (astro-ph.GA) #FOS: Physical sciences #Solar and Stellar Astrophysics (astro-ph.SR) #Theoretical and Computational Physics
6. The effect of mass loss in models of red supergiants in the Small Magellanic Cloud
   2024/10/09 by Emmanouil Zapartas, Zapartas, E., S. de Wit +35 · 7 citations
   Earth and Planetary Sciences · Physics and Astronomy · #Astronomy and Astrophysical Research #Astrophysics of Galaxies (astro-ph.GA) #FOS: Physical sciences #Geophysics and Gravity Measurements #High Energy Astrophysical Phenomena (astro-ph.HE) #Solar and Stellar Astrophysics (astro-ph.SR) #Stellar, planetary, and galactic studies
7. From ZAMS to Merger: Detailed Binary Evolution Models of Coalescing Neutron Star-Black Hole Systems at Solar Metallicity
   2023/09/18 by Zepei Xing, Xing, Zepei, Simone S. Bavera +23 · 4 citations
   Physics and Astronomy · #FOS: Physical sciences #Gamma-ray bursts and supernovae #High Energy Astrophysical Phenomena (astro-ph.HE) #Magnetic confinement fusion research #Pulsars and Gravitational Waves Research #Solar and Stellar Astrophysics (astro-ph.SR)
8. Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages
   2022/06/27 by Zeming Wei, Xiyue Zhang, Wei, Zeming +3 · 3 citations
   Computer Science · Engineering · Materials Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Machine Learning and Algorithms #Machine Learning in Materials Science
9. Mass Transfer in Eccentric Orbits with Self-consistent Stellar Evolution
   2024/11/18 by Kyle A. Rocha, Rocha, Kyle Akira, Rachel Hur +27 · 6 citations
   Physics and Astronomy · #Astro and Planetary Science #Astronomy and Astrophysical Research #FOS: Physical sciences #High Energy Astrophysical Phenomena (astro-ph.HE) #Solar and Stellar Astrophysics (astro-ph.SR) #Stellar, planetary, and galactic studies
10. Enhancement of Superconductivity in the Fibonacci Chain
    2023/07/11 by Meng Sun, Sun, Meng, Tilen Čadež +5 · 3 citations
    Physics and Astronomy · #Physics of Superconductivity and Magnetism #Quantum and electron transport phenomena #Rare-earth and actinide compounds
11. Wind Roche-lobe Overflow in Low-Mass Binaries: Exploring the Origin of Rapidly Rotating Blue Lurkers
    2023/11/13 by Meng Sun, Sasha Levina, Sun, Meng +11 · 4 citations
    Physics and Astronomy · #Astro and Planetary Science #Astronomy and Astrophysical Research #FOS: Physical sciences #Solar and Stellar Astrophysics (astro-ph.SR) #Stellar, planetary, and galactic studies
12. Mass-gap Black Holes in Coalescing Neutron Star Black Hole Binaries
    2024/10/27 by Zepei Xing, Xing, Zepei, Vicky Kalogera +23 · 4 citations
    Physics and Astronomy · #Astrophysical Phenomena and Observations #FOS: Physical sciences #High Energy Astrophysical Phenomena (astro-ph.HE) #Pulsars and Gravitational Waves Research #Relativity and Gravitational Theory #Solar and Stellar Astrophysics (astro-ph.SR)
13. Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models
    2024/04/21 by Yihao Zhang, Zhang, Yihao, Zeming Wei +5 · 4 citations
    Computer Science · Decision Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Scientific Computing and Data Management
14. On the Relationship Between Inference and Data Privacy in Decentralized IoT Networks
    2018/11/26 by Meng Sun, Wee Peng Tay, Sun, Meng +1 · 1 citation
    Computer Science · Engineering · #Distributed Sensor Networks and Detection Algorithms #FOS: Computer and information sciences #Information Theory (cs.IT) #Privacy-Preserving Technologies in Data #Wireless Communication Security Techniques
15. Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks
    2023/06/24 by Zeming Wei, Xiyue Zhang, Wei, Zeming +5 · 2 citations
    Computer Science · Engineering · Materials Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Machine Learning in Materials Science
16. Cross Fusion RGB-T Tracking with Bi-directional Adapter
    2024/08/30 by Zhirong Zeng, Xiaotao Liu, Zeng, Zhirong +7 · 2 citations
    Computer Science · Engineering · #Advanced Vision and Imaging #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Infrared Target Detection Methodologies #Video Surveillance and Tracking Methods
17. Simplified radar architecture based on information metasurface
    2024/10/10 by Si Ran Wang, Zhan Ye Chen, Wang, Si Ran +23 · 2 citations
    Engineering · Computer Science · #Radar Systems and Signal Processing #Advanced SAR Imaging Techniques #Wireless Signal Modulation Classification
18. ERNIE 5.0 Technical Report
    2026/02/04 by Haifeng Wang, Hua Wu, Tian Wu +432 · 2 voices
    Computer Science · #cs.CL
19. Secure LLM Fine-Tuning via Safety-Aware Probing
    2025/05/22 by Chunting Wu, Wu, Chengcan, Zhixin Zhang +7 · 5 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Natural Language Processing Techniques #Optimization and Control (math.OC) #Topic Modeling
20. When Thinking LLMs Lie: Unveiling the Strategic Deception in Representations of Reasoning Models
    2025/06/05 by Kai Wang, Yihao Zhang, Wang, Kai +3 · 5 citations
    Computer Science · Medicine · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Artificial Intelligence in Healthcare and Education #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
21. Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
    2025/12/29 by Xinyi Zheng, Ningke Li, Zheng, Xinyi +11 · 1 voice
    Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #Explainable Artificial Intelligence (XAI) #Topic Modeling #cs.FL #cs.SE
22. Stellar Spin Down in Post-Mass Transfer Binary Systems
    2024/03/25 by Meng Sun, Seth Gossage, Sun, Meng +5 · 2 citations
    Physics and Astronomy · #Astro and Planetary Science #Astronomy and Astrophysical Research #FOS: Physical sciences #High Energy Astrophysical Phenomena (astro-ph.HE) #Solar and Stellar Astrophysics (astro-ph.SR) #Stellar, planetary, and galactic studies
23. Discovery of a variable yellow supergiant progenitor for the Type IIb SN 2024abfo
    2025/04/29 by Zexi Niu, Ning-Chen Sun, Niu, Zexi +11 · 4 citations
    Engineering · Physics and Astronomy · #Astronomy and Astrophysical Research #Astrophysics of Galaxies (astro-ph.GA) #CCD and CMOS Imaging Sensors #FOS: Physical sciences #Gamma-ray bursts and supernovae #High Energy Astrophysical Phenomena (astro-ph.HE) #Solar and Stellar Astrophysics (astro-ph.SR)
24. Challenges in Forming Millisecond Pulsar-Black Holes from Isolated Binaries
    2024/12/20 by Camille Liotine, Vicky Kalogera, Liotine, Camille +27 · 1 voice · 1 citation
    Engineering · Physics and Astronomy · #Astrophysical Phenomena and Observations #Particle Accelerators and Free-Electron Lasers #Pulsars and Gravitational Waves Research #astro-ph.HE
25. A Survey on Bundle Recommendation: Methods, Applications, and Challenges
    2024/11/01 by Meng Sun, Lin Li, Sun, Meng +12 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Recommender Systems and Techniques
26. Non-Clifford quantum cellular automata from invertible topological quantum field theories
    2026/07/23 by Meng Sun, Zongyuan Wang, Bowen Yang +2
    Mathematics · Physics and Astronomy · #quant-ph #cond-mat.str-el #hep-th #math-ph #math.MP #math.QA