Skip to content
Joshua Shay Kricheli NeuroSymbolic AI
v2 v1

My bet: scale alone won’t make AI trustworthy — it has to verify itself

Models that learn, logic that verifies.

I build NeuroSymbolic AI — systems that fuse statistical learning with rigorous logic so they can detect, explain, and recover from their own errors. The work spans national-scale LLM pretraining to robotics, appears at AAAI, ICLR, and CIKM (NeurIPS under review), and grew out of shipping production systems at Dell and Intel.

Joshua Shay Kricheli
  • Harvard Galileo
  • USC ICT
  • Syracuse
  • Arizona State
  • Dell
  • Intel
  • AAAI 2026 reviewer
Now & where it’s going

I’m pushing on the part of AI I think matters most: trust. Right now that means proving when LLM scaling laws actually extrapolate, from multi-node pretraining on national supercomputers (NeurIPS 2026, under review), and building perception that catches and corrects its own mistakes in novel environments. The throughline is simple: AI whose answers you can verify. Reviewing for AAAI 2026.

Interactive · how it works

A neural model perceives. Logic checks its work.

The core of my research in one moving picture: a neural network makes predictions, symbolic constraints catch the ones that violate known rules, and abductive reasoning recovers the consistent answer — no ground-truth labels required.

Neural predictions → symbolic constraint check → flagged inconsistencies are corrected by abductive reasoning. (Animation paused to respect your reduced-motion setting.)
Neural perception

Neural perception. A pre-trained model assigns a fine and a coarse label to each detected object — fast, but occasionally wrong.

00 — About

Engineer turned computer scientist, working where logic meets learning.

Last updated: Loading…

Hi there!

I am a 3rd-year Computer Science Ph.D. student and a Research Associate at the Leibniz NeuroSymbolic Lab @ Syracuse University (SU), New York, USA under the direction of Prof. Paulo Shakarian.

Until recently, I served as a Visiting Researcher at the Learning Sciences group at the Institute for Creative Technologies (ICT) under the University of Southern California (USC).

Until 2023, I served as an AI/ML Researcher at Ben Gurion University of the Negev (BGU), Israel. I was a part of Prof. Gera Weiss and Prof. Shai Arogeti’s Intelligent Robotics Lab (IRL) at BGU, which I co-founded.

I hold a Master of Science (M.Sc.) in Computer Science and a Bachelor of Science (B.Sc.) in Mechanical Engineering, both from BGU.

My research interests are in the fields of Artificial Intelligence (AI), Robotics, Machine Learning (ML), and Modern Control Theory.

Feel free to take a look around to learn more about my work.

News

  • Loading news...

01 — Research focus

Three threads, one agenda.

I want learning systems we can trust because they can check themselves. Three lines of work run toward that goal.

  1. 01

    NeuroSymbolic AI

    Infusing neural models with rigorous logic so learned systems can reason, justify, and recover from their own errors — without ground-truth labels. The core of my Ph.D.

  2. 02

    Machine Learning & LLMs

    From hierarchical multi-label classification to LLM scaling-law extrapolation and agentic frameworks for education — applied ML on real problems, with honest baselines.

  3. 03

    Robotics & Control

    Differential games and modern control for autonomous systems with competing objectives — bridging the mechanical engineering that started my path with the AI that continues it.

02 — Publications

Selected peer-reviewed work.

Across NeuroSymbolic AI, LLM scaling laws, hierarchical multi-label classification, vision-language sensor fusion, and differential games for control. Author name in bold.

Loading publications…

03 — Projects

Things I’ve built & shipped.

Open-source systems you can run today — each one a capability, with a paper behind it for the proof. Tooling named so you know exactly what’s under the hood.

PyEDCR

Open source

Automatically catches and corrects a classifier’s mistakes — learning the logical rules that keep its predictions consistent, with no retraining and no hand-labeled data.

Python PyTorch NeuroSymbolic CIKM 2024

PyDiffGame

Open source

A differential-game engine that solves for Nash-equilibrium controllers when multiple control objectives compete — open-source, and the most-starred project I maintain.

PyDiffGame GitHub stars

Python NumPy / SciPy Control

VLC Fusion

Paper + code

Uses language to tell a perception stack how to fuse its sensors — keeping object detection robust when conditions fall apart. ICLR 2026 (UCRL workshop).

PyTorch Vision-Language Sensor Fusion

Abductive Perception

Research

Lets multiple pretrained models reconcile their disagreements into one coherent reading of a novel scene — no ground truth required. AAAI 2026.

NeuroSymbolic Abduction Perception

Agentic Education

Research

An LLM agent framework that generates and grades personalized learning material at scale — built at USC ICT on Microsoft AutoGen. FLAIRS 2026.

LLMs AutoGen Agents

LLM Scaling Laws

Preprint

Pins down when LLM scaling laws actually extrapolate — from multi-node GPU pretraining on national NAIRR / NSF ACCESS supercomputers. Under review at NeurIPS 2026.

LLMs Scaling Laws HPC
Years in research & industry
Papers & preprints
Talks & essays
Fellowships & awards

04 — Experience

Research and engineering across labs and continents.

Roles at Syracuse, USC ICT, ASU, BGU, Frenn, Dell, and Intel — always at the boundary of research and shipped systems.

Loading experience…

05 — Education

From mechanical engineering to a Ph.D. in AI.

Each step a deliberate move toward the questions I find most worth answering.

Loading education…

06 — Teaching & talks

Sharing the work.

Courses I’ve taught, talks I’ve given, and essays I’ve written — the public-facing side of the research.

Teaching

Loading teaching…

Talks & essays

Loading talks…

07 — Recognition

Selected fellowships, scholarships & awards.

Funding and recognition supporting my path from Israel to the United States — across mechanical engineering, AI, and security-focused research.

Loading awards…

08 — News

Lately.

A live feed from my research life — new papers, talks, affiliations, and milestones.

  1. Loading news…

09 — Contact

Get in touch.

Always glad to talk research, collaborations, and hard problems where learning meets logic. Email is the fastest way to reach me.

Email me