AutoSR

新系统AutoSR通过搜索研究状态实现符号回归自动化

研究人员开发了AutoSR，一种新颖的自动符号回归系统，它通过搜索研究状态而非孤立的方程来进行。这种方法保留了科学记录，包括推理和计算证据，以指导可信表达式的搜索。AutoSR利用提议者-审查者代理和蒙特卡洛树搜索来探索竞争性研究，最终将积累的知识综合成一份最终报告。该系统在各种基准挑战中都取得了成功，恢复了代数等价关系，并将符号回归扩展到自动化科学研究。