Pushing Forward Pareto Frontiers of Proactive Agents with Behavioral Agentic Optimization | ScienceToStartup | ScienceToStartup