Bo Ma
2 papers · Latest:
Exoplanets & Planetary Science
Sub-Neptunes Show a Stronger Correlation with Cold Jupiters than Super-Earths Especially in Metal-rich Systems
Sub-Neptunes show a stronger correlation with cold Jupiters than super-Earths, particularly in metal-rich systems, indicating stellar metallicity's role.
2604.20203
Software EngineeringFrom Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
PropGen automates property generation for Android app testing, effectively finding functional bugs by exploring functionalities and refining properties.
2604.13463
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.