🔬 Academy of Mathematics and Systems Science

🧑‍🔬 People (18)

Authors with a page here who worked or studied at Academy of Mathematics and Systems Science: first those whose cited work was done most here; beside each, their citations.

📄 Works in our library (2)

The most cited first (OpenAlex citations plus our library's).

1. CombiBench: Benchmarking LLM Capability for Combinatorial MathematicsarXiv:2505.03171Junqi Liu, Xiaohan Lin, Jonas Bayer, et al.2025 · 20 citations
2. Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal MathematicsarXiv:2601.14027Junqi Liu, Zihao Zhou, Zekai Zhu, et al.2026 · 15 citations

📅 Works by year

2020s

🧭 Fields, topics and concepts

Of its works in our library, with the number of works on each.

🤝 Collaborates with

Institutions on the bylines of the same works here, the most works shared first.

1. 🎓University of Cambridge2 works shared
2. 🎓Imperial College London2 works shared
3. 🎓University of Edinburgh1 work shared
4. 🎓Sun Yat-sen University1 work shared
5. 🎓University of Chinese Academy of Sciences1 work shared
6. 🎓Stockholm University1 work shared
7. 🎓Tongji University1 work shared
8. 🎓University of Liverpool1 work shared
9. 🎓Xi’an Jiaotong-Liverpool University1 work shared

🏛️ Parent and units

Part of Chinese Academy of Sciences

Units State Key Laboratory of Scientific and Engineering Computing

From the Research Organization Registry (ROR); those with a page here are linked.

Works and people from the bylines of the papers (OpenAlex): a person listed here worked or studied at Academy of Mathematics and Systems Science; employment or education is named only where the person's ORCID record or Wikidata says so. Institution data from ROR and OpenAlex.

Updated 3 November 2026

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/labs/academy-of-mathematics-and-systems-science/