Skip to content
View mbrcic's full-sized avatar
3 followers · 8 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report mbrcic

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

Mario Brčić

Strategy Engines for high-stakes decisions — research and practice.

Associate Professor at FER (University of Zagreb), leading the research on intelligent systems for strategic decision-making in complex, uncertain, multi-system environments. Methods from operations research, category theory, dynamical systems, design science. Themes: causal modeling of decision systems, scalable agent cooperation, AI governance under impossibility constraints.

Selected upstream contributions

Notable earlier work

  • Early explainable-optimization precedent — tracking-predictive-gantt: a 2018 visual-explainability method (ECDF uncertainty + counterfactual overlays) predating modern XAI-for-optimization; its diagnosed failure modes drove a follow-up scheduler with up to ~770% gains over prior SOTA. DOI

The pinned repositories are the packaged, reproducible work; others range from active research to teaching material at varying polish. Explore and fork freely — questions and collaboration welcome.

Pinned Loading

  1. ai-safety-formalization-atlas ai-safety-formalization-atlas Public

    The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.

    Lean 2 1

  2. llm-political-steerability llm-political-steerability Public

    Reproducibility package for 'Auditing Alignment Controllability in LLMs via Political Axes' (AIES 2026): raw data + collection/analysis pipeline.

    Python 1

  3. Deepseek-OCR-vllm-docker Deepseek-OCR-vllm-docker Public

    Self-contained, high-performance DeepSeek-OCR service powered by vLLM and FastAPI. Zero-friction Docker setup for images, PDFs, and batch processing.

    Python

  4. tracking-predictive-gantt tracking-predictive-gantt Public

    Early XAI-for-optimization: visual explainability for stochastic scheduling (ECDF + counterfactual Gantt, 2018). Basis for an EJOR method beating SOTA by up to ~770%.

    Python