Research output per year
Research output per year
Research output
- 1 Conference proceeding
Search results
-
2024
Transformers to Predict the Applicability of Symbolic Integration Routines
Barket, R., Shafiq, U., England, M. & Gerhard, J., 9 Oct 2024, (Accepted/In press) Proceedings of the 4th Workshop on Mathematical Reasoning and AI (MATH-AI 2024) at NeurIPS 2024. 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile12 Downloads (Pure)