Skip to content
View Jeevan-04's full-sized avatar

Highlights

  • Pro

Organizations

@konvo-in @Nirukta-Bharati

Block or report Jeevan-04

Report abuse

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

Report abuse
Jeevan-04/README.md

Jeevan Naidu — Hero Banner

About

I am a computer science undergraduate interested in how computational systems represent knowledge, handle uncertainty, and behave under constraints.

I am particularly drawn to problems where reasoning breaks down - where systems must decide whether to proceed, defer, or refuse.


Areas of Interest

My interests tend to cluster around the following themes:

  • Symbolic and epistemic reasoning
  • Reasoning systems that can express uncertainty or refusal
  • Deterministic and auditable execution for AI systems
  • Systems programming (primarily C++)
  • Indian Knowledge Systems (IKS), approached critically and text-first

Project Portfolio & Research Works

Episteme Konvo

Nirukti Invariant Computational Reality


Writing and Logs

I maintain notes, essays, and project logs on my personal site:

https://jeevan-04.github.io

This includes design notes, reflections, and records of changes made over time.


Notes

  • I am still learning and refining my ideas.
  • I value clarity over speed and depth over volume.
  • I am open to discussion, feedback, and collaboration.

"विद्या विवादाय धनं मदाय शक्तिः परेषां परिपीड़नाय। खलस्य साधोर्विपरीतमेतज्ज्ञानाय दानाय च रक्षणाय॥"
"Knowledge exists to illuminate, share, and protect, standing as a refuge for wise inquiry."


Pinned Loading

  1. epistemic-reasoning-core epistemic-reasoning-core Public

    Experimental symbolic reasoning infrastructure focused on transparent defeasible reasoning, replayable proof traces, and split evaluation of parsing, grounding, and reasoning failures.

    Python 4

  2. cpp-notebook cpp-notebook Public

    A native, interactive C++ notebook for exploratory programming, visualization, and systems-level experimentation — without Python or Jupyter.

    C++ 1

  3. Invariant Invariant Public

    An execution kernel that treats LLMs as untrusted compute and enforces policy via deterministic runtime interception.

    Python