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, and grew out of shipping production systems in industry.

Joshua Shay Kricheli
  • Harvard Galileo
  • USC ICT
  • Syracuse
  • Arizona State
  • Dell
  • Intel
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.

Interactive · NeuroSymbolic AI

A network that learns the shape of its own mistakes.

The core idea of my CIKM ’24 paper, running live below. A model labels each sample twice — fine class and coarse family. f‑EDR then learns logical rules for when those predictions are wrong, from the model’s own labeled mistakes — no hand-written hierarchy — and uses them to flag fresh errors and recover the constraints of a taxonomy the model was never given. Three datasets to try: the paper’s military-vehicle benchmark, CIFAR‑100, and 20 Newsgroups — all from the open PyEDCR example suite.

A classifier predicts fine + coarse labels → f‑EDR learns rules like error(Tank) ← assign(Tank) ∧ assign(2S19‑MSTA) from its observed mistakes → the rules flag errors on new images (no ground truth needed) and double as recovered hierarchy constraints. (Animation paused to respect your reduced-motion setting.)

Predict. A fine-tuned vision model assigns every image a fine label and a coarse family — most are right, a few are quietly wrong.

00 — About

Engineer turned computer scientist, working where logic meets learning.

Last updated: Loading…

I work on NeuroSymbolic AI — systems that fuse statistical learning with rigorous logic so they can detect, explain, and recover from their own errors, without leaning on ground-truth labels. That thread runs from large-scale LLM pretraining and scaling laws to robotics and modern control, and it grew out of shipping real systems in industry before I returned to research.

I’m a 3rd-year Computer Science Ph.D. student and a Research Associate at the Leibniz NeuroSymbolic Lab at Syracuse University (SU), New York, USA, under Prof. Paulo Shakarian. I recently served as a Visiting Researcher with the Learning Sciences group at the Institute for Creative Technologies (ICT), University of Southern California (USC).

Until 2023 I was an AI/ML Researcher at Ben-Gurion University of the Negev (BGU), Israel, where I co-founded Prof. Gera Weiss and Prof. Shai Arogeti’s Intelligent Robotics Lab (IRL). I hold an M.Sc. in Computer Science and a B.Sc. in Mechanical Engineering, both from BGU — the mechanical-engineering start is where my interest in control and autonomous systems began.

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

    Learning that checks itself.

    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

    Knowing when scale actually works.

    Machine learning & LLM scaling

    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

    Control under competing goals.

    Robotics & differential games

    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…

Interactive · scaling laws

When do neural scaling laws extrapolate?

You fit L(ND) on small training runs — can you trust it on bigger ones? It hinges on tokens‑per‑parameter coverage: how diverse D/N is across the runs you fit. The law curves you see are the paper’s original Python fits on the published runs; the coverage window alone is re‑fit live in your browser as you drag it — watch extrapolation hold, or fall apart.

The paper trains the same model family two ways: a collinear fan (tokens locked to parameters, D = k · N, twelve k levels between 1 and 5) and a non‑collinear grid (N and D varied independently) — same corpora, matched budget. Fitting Chinchilla‑style laws such as L(N, D) = E + A/N^α + B/D^β on each design and predicting held‑out larger runs, the grid wins 97.3% of 1,500 seed‑paired comparisons (95% CI [96.4%, 98.0%]) — and a coverage‑variance (TPP‑diversity) diagnostic VK ≥ τK, computed before fitting from a literature exponent, predicts when a design has enough coverage to extrapolate. (Animation paused to respect your reduced‑motion setting.)

The runs. Loading the paper’s measured training runs…

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.

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

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

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

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
Years in research & industry
Peer-reviewed papers & preprints
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.

Recent updates — 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