Author

Manuel Israel Cazares

h-index 0 View on Semantic Scholar

We have 2 of 3 papers

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.

Jul 2026

Routing Ceilings Are Domain-Independent: Structural Prior Injection in Code Security Vulnerability Detection

Large language models (LLMs) exhibit a well-documented gap between latent capability and consistent activation: the router hypothesis posits that models possess the knowledge to solve a task but lack reliable internal routing to activate it. Prior work in formal mathematical reasoning (SAIR, C\'azares 2026) reports tha...

Manuel Israel Cázares · arXiv.org · 0 citations

#natural language process... Preprint Sep 2026

A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver

A single-file solver organized as a cheapest-first cascade is presented, which combines coefficient tests over structured algebra families, bounded finite-model search, an explicit central-groupoid witness, and several infinite-carrier witnesses and makes no completeness or comparative-superiority claim.

Hao Ma, Wen-Lin Zhang, Manuel Israel Cazares · 0 citations