Retrieval-Assisted Instantiation of Natural-Language Optimization Problems
Cet article présente un cadre transparent et assisté par la recherche qui ancre les preuves numériques en langage naturel dans des schémas d'optimisation structurés, démontrant que si la recherche de schémas est hautement efficace, le principal goulot d'étranglement pour l'automatisation de l'instanciation de problèmes d'optimisation réside dans la tâche en aval consistant à faire correspondre avec précision les nombres extraits à leurs créneaux respectifs.