Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Daniel Dragolich

View on Semantic Scholar

4 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#edge computing Open access Sep 2026

NUMEN Autonomy Integrity Suite: Hybrid Lean 4 Formal Verification of Behavioral Safety Mathematics with Data-Provable Guarantees

What This IsThe NUMEN Autonomy Integrity Suite is a complete formal verification framework that establishesa mathematically certified chain of trust for measuring behavioral safety in autonomous AI sys‐tems. It consists of five integrated layers:autonomy_eval.py (933 lines) — A behavioral health measurement tool that e...

Daniel Dragolich · 0 citations
#explainable ai Open access Sep 2026

NUMEN Autonomy Integrity Suite: Hybrid Lean 4 Formal Verification of Behavioral Safety Mathematics with Data-Provable Guarantees

What This IsThe NUMEN Autonomy Integrity Suite is a complete formal verification framework that establishesa mathematically certified chain of trust for measuring behavioral safety in autonomous AI sys‐tems. It consists of five integrated layers:autonomy_eval.py (933 lines) — A behavioral health measurement tool that e...

Daniel Dragolich · 0 citations
#protein folding Open access Aug 2026

People behind the ideas

All information has an origin story and it is not the person, it is the data. This is my origin story for my project. These are from files a year and some change ago. When I started to gather the pieces together of my year and a half of researching. It is nice that everyone appreciates a final product because that mean...

Daniel Dragolich · 0 citations
#protein folding Open access Aug 2026

People behind the ideas

All information has an origin story and it is not the person, it is the data. This is my origin story for my project. These are from files a year and some change ago. When I started to gather the pieces together of my year and a half of researching. It is nice that everyone appreciates a final product because that mean...

Daniel Dragolich · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.