Haibo Chen
2 papers · Latest:
Machine Learning
Agentic AIs Are the Missing Paradigm for Out-of-Distribution Generalization in Foundation Models
Agentic AIs are the missing paradigm for robust out-of-distribution generalization in foundation models, overcoming limitations of model-centric approaches.
2605.06522
Software EngineeringFM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
FM-Agent uses LLMs to automate Hoare-style compositional reasoning, scaling formal methods to large systems by generating specifications and finding bugs.
2604.11556
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.