Systems built, ideas tested, notebooks kept.
An LLM-assisted verifier for multi-step mathematical reasoning chains. Uses a fine-tuned process reward model to score intermediate steps and identify the first incorrect inference in a proof-like derivation.
Python, PyTorch, Hugging Face, Lean4
A Prolog-based knowledge base using event-role semantics for structured temporal reasoning. Integrates FOLD-RM for inductive logic programming and MCP server exposure for LLM orchestration.
Prolog, Python, FOLD-RM, MCP, Neo4j
A finite-state transducer pipeline for extracting and classifying relational clauses from unstructured legal and technical text. Achieves near-zero false-negative rates on known relation types.
Python, OpenFST, spaCy, pynini
A natural language to Cypher query translator for knowledge graphs, using a grammar-guided decoding strategy to guarantee syntactically valid output. Designed for non-technical users querying Neo4j databases.
Python, Neo4j, Hugging Face, ANTLR4, FastAPI
A real-time computer vision system for object detection and people-flow analysis deployed in Heathrow Terminal 5. Designed to support operational decision-making and safety monitoring in a high-throughput airport environment.
Python, PyTorch, TensorRT, RTSP, OpenCV, CUDA