Syed Rifat Raiyan

This repository contains the code, data, and models of the paper titled "BanglaBook: A Large-scale Bangla Dataset for Sentiment Analysis from Book Reviews" published in Findings of the Association for Computational Linguistics: ACL 2023.

CpZen is an Online Integrated Development Environment (IDE) for competitive programmers made as the Lab project for CSE 4510: Software Development Lab.

MathBot is a transformer-based Math Word Problem (MWP) solver made as the Lab project for CSE 4622: Machine Learning Lab.

InQ is a sketchbook application made as the final project for CSE 4302: Object-Oriented Programming Lab.

IUTForces is an offline programming judge application made as the Lab project for CSE 4402: Visual Programming Lab and CSE 4408: System Analysis and Design Lab.

SCReedSolo is a secure and robust Image Steganography framework made as the Term project for CSE 6265: Advanced Digital Image Processing.

CSE 4202: Structured Programming Lab 2 Project.

Companion page for "Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery." A curated four-axis index covering MWPs, LLMs and reasoning models, multimodal geometry, Lean theorem proving, and verified discovery (FunSearch, AlphaEvolve, Erdős problems).