Author

Md Rakib Hossain Misu

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning

Transformer-based language models perform well on symbolic tasks, yet it remains unclear whether they learn generalizable rules or rely on statistical shortcuts. Mechanistic studies link algorithmic behavior to structured internal representations, motivating the hypothesis that robust reasoning benefits from separating...

Cristina V. Lopes, Yuan-Gang Li, Justin Tian Jin Chen et al. · 0 citations

#artificial intelligence Preprint Mar 2026

Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications

Comparisons of classical and prompt-based JML synthesis approaches are compared, and it is found that prompt optimization through verification feedback raises pass rates but reaches a clear ceiling, and Spec-Harness is introduced, a framework that measures the behavioral adequacy of a specification along four dimension...

Md Rakib Hossain Misu, Iris Ma, Cristina V. Lopes · 3 citations