LLINBO: Trustworthy LLM-in-the-Loop Bayesian Optimization
机构 * University of Michigan(密歇根大学)
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI、cs.LG
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
机构 * University of Michigan(密歇根大学)
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI、cs.LG