63 citations · 312 across the 51 of their papers we have counts for
5 papers · 1 filter
Time Present and Time Past: Benchmarking Large Language Models on Temporally Evolving Document Understanding
Mahbub E Sobhani, Md. Faiyaz Abdullah Sayeedi, Fahmid Hasan Chowdhury +4
Evolving documents, such as laws, tax codes, and software documentation, are amended, replaced, and sometimes reverted over time, so a question has different correct answers at dif…
Do Multi-Agents Solve Better Than Single? Evaluating Agentic Frameworks for Diagram-Grounded Geometry Problem Solving and Reasoning
Mahbub E Sobhani, Md. Faiyaz Abdullah Sayeedi, Mohammad Nehad Alam +2
Diagram-grounded geometry problem solving is a critical benchmark for multimodal large language models (MLLMs), yet the benefits of multi-agent design over single-agent remain uncl…
An Efficient Genetic Algorithm for Discovering Diverse-Frequent Patterns
Shanjida Khatun, Hasib Ul Alam, Swakkhar Shatabda
Working with exhaustive search on large dataset is infeasible for several reasons. Recently, developed techniques that made pattern set mining feasible by a general solver with lon…
Stochastic Local Search for Pattern Set Mining
Muktadir Hossain, Tajkia Tasnim, Swakkhar Shatabda +1
Local search methods can quickly find good quality solutions in cases where systematic search methods might take a large amount of time. Moreover, in the context of pattern set min…
GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry
Mohammad Murtaza Mahmud, Swakkhar Shatabda, Mohammad Nurul Huda
Automated Theorem Proving (ATP) is an established branch of Artificial Intelligence. The purpose of ATP is to design a system which can automatically figure out an algorithm either…