Skip to content
View ahmarh04's full-sized avatar
1 follower · 1 following

Highlights

  • Pro

Block or report ahmarh04

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ahmarh04/README.md

Hi, I'm Ahmar Husain

I work on AI systems for structured reasoning, with a focus on improving reliability and verifiability in large language models.

Selected Project

  • JANUS — Neuro-symbolic framework for verifiable reasoning in LLMs

About

My recent work, JANUS, explores neuro-symbolic approaches that combine LLMs with deterministic verification to improve reasoning accuracy in domains with strict logical constraints.

Previously, I worked on dynamic malware analysis and sandboxing systems at KAUST's CyberSaR Lab, where I investigated the limitations of automated analysis and LLM-based approaches in complex execution environments.

Current Interests

  • Neuro-symbolic systems and verifiable AI
  • LLM reasoning and answerability
  • Systems-level applications of machine learning

Contact

I’m open to research discussions and collaboration. Feel free to reach out or explore my repositories.

Popular repositories Loading

  1. HealthFAQ-NLP-Chatbot-for-Automated-FAQ-Answering HealthFAQ-NLP-Chatbot-for-Automated-FAQ-Answering Public

    AI-powered FAQ chatbot using semantic search (Sentence Transformers) to provide relevant answers from a knowledge base.

    Jupyter Notebook 1

  2. Project-JANUS Project-JANUS Public

    Neuro-symbolic framework for verifiable reasoning in LLMs

    Python 1

  3. efficode efficode Public

    Jupyter Notebook

  4. Diabetes_Prediction_using_Logistic_Regression Diabetes_Prediction_using_Logistic_Regression Public

    A logistic regression model for binary classification using a dataset to explore and predict class membership, optimized and validated for accuracy in diverse applications.

  5. ChatNet ChatNet Public

    Chatting Just Got ReInvented

    JavaScript

  6. Admission-Predictor Admission-Predictor Public

    linear regression model for forecasting chances of graduate admissions, leveraging data analysis and transformation, feature refinement, and outcome assessment

    Jupyter Notebook