Research
Research & current work
Questions about how models reason, how their answers can be verified, and how intelligent systems behave under practical constraints.
Current investigations
Verification Methodologies for Reliable Mathematical Reasoning
A comparative study of outcome, process, and generative verification.
My current technical review examines how outcome, process, and generative verifiers assess mathematical reasoning, comparing supervision, reliability, and inference cost. It proposes a compute-controlled evaluation and informs my ongoing investigation of autoregressive–diffusion verification.
Research prototypes
OSSARTH
An LLM-native operating system research prototype.
A prototype exploring language-model-driven task planning and orchestration over a Linux-based system. My work included hierarchical agent orchestration, MCP tool integration, and a simulated task-management interface. I co-authored a research manuscript submitted for publication.