AINeutralarXiv – CS AI · 6h ago6/10
🧠
FactorLibrary: From Polynomials to Circuits via Recursive Subgoals
Researchers introduce FactorLibrary, a reinforcement learning framework that discovers minimal arithmetic circuits for polynomials over finite fields by storing reusable subexpressions as subgoals. Using PPO+MCTS agents, the system achieves 91.8% success rate in finding certified optimal circuits, addressing a combinatorially hard problem in algebraic complexity theory.