Co-occurring keywords · papers mentioning both
Papers
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
EACL 2026
SymPyBench: A Dynamic Benchmark for Scientific Reasoning with Executable Python Code
EACL 2026
Can Vision-Language Models Solve Visual Math Equations?
EMNLP 2025
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
EMNLP 2025
Convexity Certificates for Symbolic Tensor Expressions
IJCAI 2024
Learning to compute Gröbner bases
NeurIPS 2024
OccamLLM: Fast and Exact Language Model Arithmetic in a Single Step
NeurIPS 2024
Calc-X and Calcformers: Empowering Arithmetical Chain-of-Thought through Interaction with Symbolic Systems
EMNLP 2023
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023
SymForce: Symbolic Computation and Code Generation for Robotics
RSS 2022
Gradient Boosts the Approximate Vanishing Ideal
AAAI 2020
Learning Selection Strategies in Buchberger’s Algorithm
ICML 2020
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration
IJCAI 2019
Computing Higher Order Derivatives of Matrix and Tensor Expressions
NeurIPS 2018
Efficient Subpixel Refinement With Symbolic Linear Predictors
CVPR 2018
Symbolic LTLf Synthesis
IJCAI 2017
Learning to Discover Efficient Mathematical Identities
NeurIPS 2014