Large language models (LLMs) are increasingly used as formalizers: given a reasoning problem expressed in natural language, they produce a formal specificati…
机构:牛津
来源:arXiv 2610.22568 | AI4Papers 论文推荐平台