@inproceedings{ijcai2024p961, title = {NeuroSymbolic LLM for Mathematical Reasoning and Software Engineering}, author = {Jana, Prithwish}, booktitle = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI-24}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Kate Larson}, pages = {8492--8493}, year = {2024}, month = {8}, note = {Doctoral Consortium}, doi = {10.24963/ijcai.2024/961}, url = {https://doi.org/10.24963/ijcai.2024/961}, }