Research.
A log of systems designed, written, and deployed under tight research constraints.
Each entry represents a complete solution—focused on clean engineering architecture, deterministic code pathways, and resolving real-world security or optimization bottlenecks.
01 · Publications
2Active projects and past entries submitted to developer researchs.
Large Language Models (LLMs) generate fluent, open-ended text, but lack built-in mechanisms to enforce logically necessary inferences. LogicGuard is a hybrid neuro-symbolic middleware that enforces deterministic logical constraints on LLM outputs by operationalizing the syllogistic framework (Qiyas) developed by Ibn Sina. Evaluated on LLaMA2-7B, Mistral-7B, and LLaMA3.2-3B, LogicGuard achieved 100% precision and specificity with zero false positives.
02 · Pipeline
Future submissions and optimization projects will be logged here in real-time.