{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T15:09:14Z","timestamp":1764688154129,"version":"3.41.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T00:00:00Z","timestamp":1745280000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T00:00:00Z","timestamp":1745280000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,4,22]]},"DOI":"10.1109\/educon62633.2025.11016373","type":"proceedings-article","created":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T17:42:47Z","timestamp":1748972567000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["Artificial Intelligence in Math Education of Engineers"],"prefix":"10.1109","author":[{"given":"Martin","family":"Sch\u00f6nle","sequence":"first","affiliation":[{"name":"University of Applied Sciences,Kempten,Germany"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Deep learning for symbolic mathematics","volume-title":"Proc. of 8th International Conference on Learning Representations","author":"Lample","year":"2020"},{"key":"ref2","article-title":"Training verifiers to solve math word problems","author":"Cobbe","year":"2021","journal-title":"arXiv preprint"},{"key":"ref3","article-title":"Let\u2019s verify step by step","volume-title":"Proc. of 12th International Conference on Learning Representations","author":"Lightman","year":"2024"},{"key":"ref4","article-title":"Measuring mathematical problem solving with the MATH dataset","volume-title":"Proc. of 35th Annual Conference on Neural Information Processing Systems","author":"Hendrycks","year":"2021"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.2123433119"},{"journal-title":"arXiv preprint","article-title":"GPT-4 Technical Report","year":"2023","key":"ref6"},{"key":"ref7","article-title":"Solving challenging math word problems using GPT-4 code interpreter with code-based self-verification","volume-title":"Proc. of 12th International Conference on Learning Representations","author":"Zhou","year":"2024"},{"key":"ref8","article-title":"Program of thoughts prompting: disentangling computation from reasoning for numerical reasoning tasks","author":"Chen","year":"2023","journal-title":"Transactions on Machine Learning Research"},{"key":"ref9","article-title":"An empirical study on challenging math problem solving with GPT-4","author":"Wu","year":"2023","journal-title":"arXiv preprint"},{"key":"ref10","first-page":"10764","article-title":"PAL: Program-aided language models","volume-title":"Proc. of International Conference on Machine Learning","author":"Gao","year":"2023"},{"key":"ref11","article-title":"Self-Consistency improves chain of thought reasoning in language models","volume-title":"Proc. of 11th International Conference on Learning Representations","author":"Wang","year":"2023"},{"key":"ref12","article-title":"Self-refine: iterative refinement with self-feedback","volume-title":"Proc. of Thirty-seventh Conference on Neural Information Processing Systems","author":"Madaan","year":"2023"},{"key":"ref13","article-title":"Pretrained language models are symbolic mathematics solvers too!","author":"Noorbakhsh","year":"2023","journal-title":"arXiv preprint"},{"key":"ref14","article-title":"Large language models are zero-shot reasoners","volume-title":"Proc. of 36th Annual Conference on Neural Information Processing Systems","author":"Kojima","year":"2022"},{"journal-title":"OpenAI \u00a9 2015\u20132024","article-title":"API Reference","year":"2024","key":"ref15"},{"volume-title":"Common Core State Standards for Mathematics","year":"2024","key":"ref16"}],"event":{"name":"2025 IEEE Global Engineering Education Conference (EDUCON)","start":{"date-parts":[[2025,4,22]]},"location":"London, United Kingdom","end":{"date-parts":[[2025,4,25]]}},"container-title":["2025 IEEE Global Engineering Education Conference (EDUCON)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11016265\/11016287\/11016373.pdf?arnumber=11016373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T05:29:15Z","timestamp":1749014955000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11016373\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,22]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/educon62633.2025.11016373","relation":{},"subject":[],"published":{"date-parts":[[2025,4,22]]}}}