LIU MENGBING's picture

2

LIU MENGBING

lmb12306

AI & ML interests

None yet

Recent Activity

upvoted a paper 11 days ago

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification

upvoted a paper 11 days ago

WirelessMathLM: Teaching Mathematical Reasoning for LLMs in Wireless Communications with Reinforcement Learning

View all activity

Organizations

None yet

upvoted 2 papers 11 days ago

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification

Paper • 2509.23061 • Published 15 days ago • 6

WirelessMathLM: Teaching Mathematical Reasoning for LLMs in Wireless Communications with Reinforcement Learning

Paper • 2509.23219 • Published 14 days ago • 18