Optimization over the intersection of manifolds — ThinkLLM