conftrace_

symbolic computation

17 papers

Explore in graph

Co-occurring keywords

mathematical reasoning (407) language model (4599) large language model (13587) neural network (6616) symbolic reasoning (189) recursive neural network (55) attribute grammar (1) tree search (86) mathematical optimization (9) lie group (50)

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
Learning to compute Gröbner bases NIPS 2024
Convexity Certificates for Symbolic Tensor Expressions IJCAI 2024
OccamLLM: Fast and Exact Language Model Arithmetic in a Single Step NIPS 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 NIPS 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
Efficient Subpixel Refinement With Symbolic Linear Predictors CVPR 2018
Computing Higher Order Derivatives of Matrix and Tensor Expressions NIPS 2018
Symbolic LTLf Synthesis IJCAI 2017
Learning to Discover Efficient Mathematical Identities NIPS 2014