Skip to content
View inquisitour's full-sized avatar
🤔
Thinking...
🤔
Thinking...
4 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2

Block or report inquisitour

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.

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
inquisitour/README.md

Hello world, I'm Pratik!

Few things about me..

Interested in AI/ML and formal verification research with 4+ years of experience

Maintainer of ITP Engine (interpolation based model checking) in SymbiYosys at YosysHQ

🎓 MSc in Logic and Artificial Intelligence at TU Wien, with specialization in mathematical logic, formal verification and automated reasoning

💻 B.E. in Computer Engineering, with expertise in AWS ☁️, IoT 🔌, Data Science 📊, ML/DL 🤖 and Linux 🐧 systems

Combination of AI and formal verification excites me!

💭 My favorite quote: You cannot verify a verifier, that will put you in an infinite regress.

Pinned Loading

  1. veriphi-verification veriphi-verification Public

    Neural Network Robustness Verification Tool with Attack-Guided Verification

    Python 1 2

  2. Knowledge-Based-Agent Knowledge-Based-Agent Public

    Autonomous AI agent augmented with RAG and a knowledge base.

    Python 5

  3. reflection-types reflection-types Public

    OCaml reflection types

    OCaml 1 1

  4. ThoughtLink ThoughtLink Public

    Intent infrastructure for intelligent machines: from brain to robot, at the speed of thought.

    Python 1

  5. ESP_SIM800 ESP_SIM800 Public

    The standalone system based on esp-32 and sim800 module to read digital meters and send the payload to the cloud through MQTT.

    C++

  6. ESP32_CAM ESP32_CAM Public

    The esp32 camera to take photos on detecting any motion through PIR motion sensor with 3 hour deepsleep timer wakeup.

    C++