arXiv cs.AI / cs.LG / cs.CL·9d agoStructured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG#benchmark#legal-reasoning#llmAI research
Hugging Face daily papers·17d agoBeyond Solver Verdicts: Generative Reward Models for Autoformalization#autoformalization#llm-evaluation#neurosymbolic1