Author

Manuel Israel Cázares

Observed names: Cazares, Manuel Israel, Cázares, Manuel Israel

Institutions: National University of Singapore, Cultura, Mazatlan Professional School of Dance

Observed institutions: National University of Singapore, Cultura, Mazatlan Professional School of Dance

OpenAlex ID: A5133708977

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

2026 · Ma, Haobo, Zhang, Wenlin, et al. · arXiv (Cornell University)

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

2026 · Cázares, Manuel Israel · arXiv (Cornell University)

Mechanism-level routing failure in LLMs over Lean-verified algebraic structures

2026 · Cázares, Manuel Israel, Zhang, Wenlin, et al. · arXiv (Cornell University)

Less Is More: Cognitive Load and the Single-Prompt Ceiling in LLM Mathematical Reasoning

2026 · Cazares, Manuel Israel · arXiv (Cornell University)

Less Is More: Cognitive Load and the Single-Prompt Ceiling in LLM Mathematical Reasoning

2026 · Cázares, Manuel Israel · Zenodo (CERN European Organization for Nuclear Research)

Works count: 5

Citation count:

H-index:

I10-index: