Continuous Call for Papers (Flyer)

The SCML forum is dedicated to all research that strives to combine "Symbolic Computation" (SC) and "Machine Learning" (ML) as two major approaches to "Artificial Intelligence", in particular to the application of ML to SC, the application of SC to ML, and the hybrid combination of SC and ML to solving problems. See the editorial for a general description of the SCML vision and the description of the submission process for the organizational aspects.

Examples of topics in the scope of SCML are (this list is not exhaustive, we expect that it will grow rapidly with the evolution of the field):

  • Applying ML to computer mathematics, algebra, geometry; integrating ML into mathematical software systems.
  • Applying ML to automated reasoning, theorem proving, satisfiability solving; integrating ML into interactive and automated provers.
  • Applying ML to program synthesis; integrating ML into program verification systems.
  • Applying SC to analyzing ML models ("explainable AI"), deriving error bounds, ensuring robustness, interpreting answers.
  • Applying SC to verifying ML models ("verified AI"), preventing errors and hallucinations.
  • Applying SC to synthesizing ML models with guaranteed error bounds, robustness, correctness properties.
  • Integrating SC capabilities (such as computer algebra and automated reasoning) into ML models.
  • Applying LLMs to the automatic formalization of mathematical/logical texts.
  • Applying LLMs as natural language interfaces to SC systems, integrating co-pilots into SC systems.
  • Combining linguistic reasoning (LLMs) and formal reasoning (theorem provers).
  • Combining LLMs and SC systems for education.
  • Teaching (for example, in mathematics) using a combination of SC and ML systems.
  • Software and system descriptions, datasets, benchmarks, and metrics related to the interplay of SC and ML.

SCML primarily solicits papers that present original research results but also accepts survey and position papers that add a new perspective to the interplay of SC and ML.

Please consider subscribing to the SCML Mailing List in order to be informed about papers published in the SCML proceedings and presented in the SCML workshops.