ai4math 15 ai4science 6 large-language-models 5 deep-learning 4 symbolic-regression 4 mathematics 4 machine-learning 4 equation-discovery 3 transformers 3 automated-theorem-proving 2 scientific-discovery 2 llm-agent 2 ai4code 2 visual-question-answering 2 science 2 mathqa 2 symbolic-math 2 multi-modal-learning 2 llm 2 geometry-problem-solving 1 vlm 1 representation-learning 1 complex-reasoning 1 data-synthesis 1 math-word-problem 1 math-word-problem-solving 1 natural-language-processing 1 theorem-proving 1 autoformalizaion 1 benchmarks 1 paper-list 1 reinforcement-learning 1 interpretable-ml 1 multi-modal 1 latent-space-interpolation 1 language-model 1 planning-algorithms 1 neural-networks 1 llm-datasets 1 math 1 math-llm 1 llm4math 1 large-multimodal-models 1 spatial-intelligence 1 large-multimadality-models 1 program-synthesis 1 ai 1 artificial-intelligence 1 awesome 1 formal-methods 1 formal-verification 1 reasoning 1 conformal-prediction 1 dynamicforemr 1 explainable-ai 1 recursive-functions 1 topological-recursion 1 transformer 1 formal-languages 1