works on
benchmark evaluation 1computer algebra systems 1large language models 1mathematical reasoning 1proof automation 1

From the 1 of 8 linked papers with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration

Ting Gong, Michael Ruofan Zeng, Yong Yang

Albilich is an open‑source agentic framework that lets large language models conduct long‑horizon mathematical research by integrating computer algebra systems, literature retrieva…