~/about

Working across ML engineering, theoretical machine learning, and product systems.

I'm Nick Mino, a rising junior studying Artificial Intelligence at Carnegie Mellon. I build ML systems and product infrastructure, currently as Co-founder, CTO, and ML Engineer at Posematic.

Research: algorithmic stability and post hoc selection in theoretical ML and statistical inference.

open calendly --30min
Carnegie Mellon University
Artificial Intelligence
~/about

Technical work across ML systems, product, and applied research.

I concentrate in Algorithms and Complexity at CMU's School of Computer Science. My technical work spans computer vision systems, inference infrastructure, product engineering, and theoretical ML research focused on algorithmic stability, post hoc selection, and adaptive generalization guarantees.

tail -f timeline.log

Timeline

Sep. 2025 - Present

Co-founder, CTO, and ML Engineer

Posematic

Working across ML engineering, inference infrastructure, technical architecture, product engineering, and model/data strategy.

May 2026 - Present

Undergraduate Researcher

Carnegie Mellon University

Researching algorithmic stability and post hoc selection, with a focus on valid generalization guarantees after adaptive model, hypothesis, or parameter selection.

May 2026 - Present

Senior Editor

Synthica Journal

Editing computer science submissions for a student-led scientific journal focused on AI and technology.

Aug. 2024 - Present

B.S. Artificial Intelligence

Carnegie Mellon School of Computer Science

Studying Artificial Intelligence with a concentration in Algorithms and Complexity.

Apr. 2026

Best Startup

CMU ScottySpark

Posematic won Best Startup after presenting a live prototype demo.

Jan. 2026

Most Sustainable Innovation Track Winner

TartanHacks 2026

Team lead for Verdant, a hackathon project focused on the carbon footprint of LLM usage.

Sep. 2025

Honorable Mention

HackCMU

Team lead for Ensemble, an audio project using signal-processing-inspired degradation with PyTorch/torchaudio.

Jun. 2020 - Dec. 2020

Research Assistant

Stanford Paleobiology / SEYI

Under Dr. Pedro Monarrez

Worked as a research assistant on paleobiology datasets, including hand annotation of trilobite fossil data and data cleaning, representation, and analysis on mollusk fossil datasets related to California-area records, fossil locality patterns, and missing fossil records.

~/posematic

Posematic

Non-generative creative tools for artists

Posematic is building non-generative, machine-learning-enhanced creative tools for artists. Our first product converts image or sketch inputs into editable 3D human pose models for fast, detailed reference creation, giving artists control over pose, perspective, and scene construction without replacing their creative process.

Demo video

Company

Posematic

Role

Co-founder, CTO, and ML Engineer

Recognition

Best Startup at CMU ScottySpark; live prototype demo.

What I do

ML / AI Systems

  • Computer vision workflows for image/sketch-to-editable 3D human pose models
  • PyTorch-based model experimentation and evaluation
  • Vision model experimentation and evaluation
  • PyTriton inference serving
  • Synthetic data strategy for pose and sketch workflows
  • Out-of-domain to in-domain data adaptation
  • Inference pipeline design and testing

Backend / Infrastructure

  • Backend architecture for product-facing ML systems
  • Dockerized inference and application services
  • PyTriton service integration
  • NestJS / Node.js backend work
  • API design for app-to-inference communication
  • Authentication flows
  • Coordination between data, inference, and product systems

Product Engineering / Frontend

  • Artist-facing workflow design
  • React Native / TypeScript app development
  • Three.js and WebGL-based 3D editor work
  • 2D and 3D interface implementation
  • Prototype development
  • Iteration from artist feedback

Product / Leadership

  • Technical direction across ML, frontend, backend, and product
  • Product strategy for non-generative creative tools
  • UI and workflow design decisions
  • Business operations
  • Customer interview synthesis and prioritization
~/research

Research

Undergraduate Researcher, Carnegie Mellon University

Algorithmic Stability and Post Hoc Selection

Advised by Professor Shixiang (Woody) Zhu

I work on algorithmic stability and post hoc selection in theoretical ML and statistical inference, with a focus on generalization guarantees for adaptive algorithms. My research studies how to obtain valid generalization guarantees after algorithms adaptively select models, hypotheses, parameters, or procedures using observed data.

When many candidates are evaluated and the best-looking one is selected, the selected candidate's empirical performance can be optimistically biased. This creates a post-selection problem: the data used to choose a candidate also affects the estimate used to evaluate it.

Standard sample splitting avoids post-selection bias by separating the data used for selection from the data used for evaluation, but it can waste data and reduce statistical power. I am studying algorithmic stability as a possible alternative: if the selection procedure is sufficiently insensitive to small dataset perturbations, its selected output may still admit finite-sample generalization guarantees.

This work overlaps with statistical learning theory, but I frame it more broadly as theoretical ML and statistical inference because the project also connects to adaptive data analysis and post-selection inference.

Technical areas

  • Algorithmic stability and generalization theory
  • Post hoc selection and post-selection guarantees
  • Adaptive data analysis
  • Selection bias and winner's curse effects
  • Finite-sample concentration inequalities
  • Probability and statistical inference
  • Stability-based alternatives to sample splitting
  • Learning-theoretic guarantees for adaptive algorithms

Research Area

Algorithmic Stability

Current focus

Investigating when selection procedures are sufficiently insensitive to small dataset perturbations to support generalization guarantees.

Research Area

Post Hoc Selection

Current focus

Studying generalization guarantees after algorithms adaptively select models, hypotheses, parameters, or procedures from observed data.

Research Area

Post-Selection Guarantees

Current focus

Characterizing selection-induced bias when the data used to choose a candidate also affects its evaluated performance.

Research Area

Adaptive Data Analysis

Research interest

Examining how repeated or adaptive use of data affects the reliability of empirical estimates and selected outputs.

Research Area

Theoretical ML and Statistical Inference

Research interest

Connecting finite-sample concentration tools, stability conditions, and alternatives to sample splitting for post-selection guarantees.

cat coursework-skills.md

Coursework / Skills

Core CS

  • 15-213 Introduction to Computer Systems
  • 15-150 Principles of Functional Programming
  • 15-122 Introduction to Imperative Programming
  • 15-112 Fundamentals of Programming

Math / Probability

  • 36-219 Probability Theory and Random Processes
  • 21-241 Linear Algebra
  • 21-259 Calculus in Three Dimensions
  • 15-151 Mathematical Foundations for Computer Science

AI / Robotics

  • 15-281 Artificial Intelligence: Representation and Problem Solving

Languages

  • Python
  • C
  • SML
  • R
  • TypeScript
  • Julia
  • Java

ML / Data

  • PyTorch
  • NumPy
  • Computer Vision
  • Fine-Tuning
  • Model Evaluation

Systems / Infra

  • Docker
  • Git
  • PyTriton
  • Inference Pipelines
  • Data Pipelines
  • Technical Architecture

Product / Startup

  • Product Engineering
  • Technical Strategy
  • Rapid Prototyping
  • User-Driven Development

Audio

  • torchaudio
  • Signal Processing

Concepts

  • Artificial Intelligence
  • Robotics

Research

  • Algorithmic Stability
  • Statistical Inference
  • Post Hoc Selection
ls projects/

Projects

Verdant

TartanHacks 2026 sustainability track winner

Most Sustainable InnovationJan. 2026

Role

Team Lead

Tags

LLMsSustainabilityModel RoutingPrompt Complexity AnalysisConversation CompressionHackathon

Verdant estimated and reduced the carbon footprint of LLM usage through prompt-complexity analysis, model routing, and context-preserving conversation compression. I led the team and worked on routing, compression, workflow design, product design, and integration.

Ensemble

HackCMU honorable mention audio project

HackCMU Honorable MentionSep. 2025

Role

Team Lead

Tags

AudioSignal ProcessingPyTorchtorchaudioHackathon

Ensemble generated vintage-style audio effects using signal-processing-inspired degradation and PyTorch/torchaudio. The project received a HackCMU Honorable Mention.

3D Chess Engine

Experimental chess variant and search engine

15-112 Term Project

Role

Solo Developer

Tags

PythonSearchGame AIHeuristicsPruningAlgorithms

I built a Python engine for a 3D chess variant as my 15-112 term project. The engine used 8-ply search with custom heuristics, opponent-move assumptions, move ordering, pruning-style shortcuts, and value-threshold short-circuiting to reduce the search space across plies.

./contact

Contact

Open to research collaborations, founder conversations, technical opportunities, and editorial questions.